1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-01-03 12:24:17 +01:00

fixed cmdline option duplication bug

This commit is contained in:
kojima
2004-10-14 19:53:31 +00:00
parent 5f4a3f6777
commit 8502709884
2 changed files with 12 additions and 8 deletions

View File

@@ -94,7 +94,7 @@ int MonitorLoop(int argc, char **argv)
char **child_argv= wmalloc(sizeof(char*)*(argc+2));
int i, status;
time_t last_start;
for (i= 0; i < argc; i++)
child_argv[i]= argv[i];
child_argv[i++]= "--for-real";
@@ -123,9 +123,9 @@ int MonitorLoop(int argc, char **argv)
wsyserror(_("Error during monitoring of Window Maker process."));
break;
}
child_argv[argc]= "--for-real-";
/* Check if the wmaker process exited due to a crash */
if (WIFSIGNALED(status) &&
(WTERMSIG(status) == SIGSEGV ||