destroyMonitor

Deletes the monitor m.

static
void
destroyMonitor
(
Monitor* m
)

Parameters

m Monitor*

Pointer to the monitor to be deleted.

Meta