diff options
| -rw-r--r-- | src/gui-gtk/main.c | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/gui-gtk/main.c b/src/gui-gtk/main.c index 10a15af4..652d1882 100644 --- a/src/gui-gtk/main.c +++ b/src/gui-gtk/main.c @@ -55,13 +55,17 @@ static void init_notify(void) static void close_notify(void) { - //VERB1 log("g_source_remove:"); - g_source_remove(channel_inotify_event_id); - //VERB1 log("g_io_channel_unref:"); - g_io_channel_unref(channel_inotify); - //VERB1 log("close(inotify_fd):"); - close(inotify_fd); - //VERB1 log("Done"); + if (inotify_fd >= 0) + { + //VERB1 log("g_source_remove:"); + g_source_remove(channel_inotify_event_id); + //VERB1 log("g_io_channel_unref:"); + g_io_channel_unref(channel_inotify); + //VERB1 log("close(inotify_fd):"); + close(inotify_fd); + inotify_fd = -1; + //VERB1 log("Done"); + } } /* Inotify handler */ |