mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-22 05:48:01 +01:00
- Moved fullscreen level back above menus
- Small changes to the info panel messages - Different geomview - Fixed problem with waitpid returning <0 in monitor
This commit is contained in:
@@ -94,7 +94,8 @@ int MonitorLoop(int argc, char **argv)
|
||||
char **child_argv= wmalloc(sizeof(char*)*(argc+2));
|
||||
int i, status;
|
||||
time_t last_start;
|
||||
|
||||
Bool error = False;
|
||||
|
||||
for (i= 0; i < argc; i++)
|
||||
child_argv[i]= argv[i];
|
||||
child_argv[i++]= "--for-real";
|
||||
@@ -122,10 +123,14 @@ int MonitorLoop(int argc, char **argv)
|
||||
if ((exited=waitpid(-1, &status, 0)) < 0)
|
||||
{
|
||||
wsyserror(_("Error during monitoring of Window Maker process."));
|
||||
error = True;
|
||||
break;
|
||||
}
|
||||
} while (exited != pid);
|
||||
|
||||
if (error)
|
||||
break;
|
||||
|
||||
child_argv[argc]= "--for-real-";
|
||||
|
||||
/* Check if the wmaker process exited due to a crash */
|
||||
|
||||
Reference in New Issue
Block a user