File_Watcher module

deinit

procedure · 2 overloadsSource

Stops watching and frees everything the watcher holds, including changes that were found but not yet delivered, and leaves watcher empty: it can be set up again with init, and a second deinit does nothing. Call it once for each successful init. It is safe on a watcher that was never set up.

deinit :: (watcher: *$T/File_Watcher)

Stops watching and frees everything the watcher holds, including changes that were found but not yet delivered, and leaves watcher empty: it can be set up again with init, and a second deinit does nothing. Call it once for each successful init. It is safe on a watcher that was never set up.

Parameters

watcher: *$T/File_Watcher
deinit :: (watcher: $T/File_Watcher)

Stops watching and frees everything the watcher holds, like deinit(*watcher), but from a copy: it takes the watcher by value, as deinit(watcher) without a *, so the caller's own watcher still points at what was freed and must not be used again. Prefer the pointer form.

Parameters

watcher: $T/File_Watcher

See also