diff options
author | Max Kellermann <max@duempel.org> | 2008-09-24 07:14:11 +0200 |
---|---|---|
committer | Max Kellermann <max@duempel.org> | 2008-09-24 07:14:11 +0200 |
commit | a0272c2d615e4579e8efb767cc6c28302b2c92cd (patch) | |
tree | f8868d8df4a4fd6defbb17db3d5d438903cbeff5 /src/main_notify.h | |
parent | ee1d723ad7ec94e0db09ae8bab61a8952bfaaa32 (diff) |
notify: added notify_deinit()
Destroy the mutex when it is not used anymore.
Diffstat (limited to 'src/main_notify.h')
-rw-r--r-- | src/main_notify.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main_notify.h b/src/main_notify.h index c7bba4440..dd30dc5d6 100644 --- a/src/main_notify.h +++ b/src/main_notify.h @@ -23,6 +23,8 @@ void init_main_notify(void); +void deinit_main_notify(void); + void wakeup_main_task(void); void wait_main_task(void); |