mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 20:38:08 +01:00
Make inotify optional
This time keeping the ability to fall back to the old polling method.
This commit is contained in:
committed by
Carlos R. Mafra
parent
118a93808a
commit
c7868fa405
@@ -56,7 +56,9 @@ static void wipeDesktop(WScreen * scr);
|
||||
void Shutdown(WShutdownMode mode)
|
||||
{
|
||||
int i;
|
||||
#ifdef HAVE_INOTIFY
|
||||
extern int inotifyFD;
|
||||
#endif
|
||||
|
||||
switch (mode) {
|
||||
case WSLogoutMode:
|
||||
@@ -64,7 +66,9 @@ void Shutdown(WShutdownMode mode)
|
||||
case WSExitMode:
|
||||
/* if there is no session manager, send SAVE_YOURSELF to
|
||||
* the clients */
|
||||
#ifdef HAVE_INOTIFY
|
||||
close(inotifyFD);
|
||||
#endif
|
||||
for (i = 0; i < wScreenCount; i++) {
|
||||
WScreen *scr;
|
||||
|
||||
@@ -92,7 +96,9 @@ void Shutdown(WShutdownMode mode)
|
||||
for (i = 0; i < wScreenCount; i++) {
|
||||
WScreen *scr;
|
||||
|
||||
#ifdef HAVE_INOTIFY
|
||||
close(inotifyFD);
|
||||
#endif
|
||||
scr = wScreenWithNumber(i);
|
||||
if (scr) {
|
||||
if (scr->helper_pid)
|
||||
|
||||
Reference in New Issue
Block a user