1
/* monitor.c - monitors the wmaker process
3
* Window Maker window manager
5
* Copyright (c) 1997-2004 Alfredo K. Kojima
7
* This program is free software; you can redistribute it and/or modify
8
* it under the terms of the GNU General Public License as published by
9
* the Free Software Foundation; either version 2 of the License, or
10
* (at your option) any later version.
12
* This program is distributed in the hope that it will be useful,
13
* but WITHOUT ANY WARRANTY; without even the implied warranty of
14
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15
* GNU General Public License for more details.
17
* You should have received a copy of the GNU General Public License
18
* along with this program; if not, write to the Free Software
19
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
30
#include <sys/signal.h>
34
#include <X11/Xutil.h>
35
#include <X11/Xproto.h>
37
#include "WindowMaker.h"
43
/****** Global Variables ******/
45
extern WPreferences wPreferences;
47
extern int wScreenCount;
52
int showCrashDialog(int sig)
56
dpy = XOpenDisplay(NULL);
58
/* XXX TODO make sure that window states are saved and restored via netwm */
61
crashAction = wShowCrashingDialogPanel(sig);
65
wsyserror(_("cannot open connection for crashing dialog panel. Aborting."));
66
crashAction = WMAbort;
69
if (crashAction == WMStartAlternate)
73
wmessage(_("trying to start alternate window manager..."));
75
for (i=0; i<WMGetArrayItemCount(wPreferences.fallbackWMs); i++) {
76
Restart(WMGetFromArray(wPreferences.fallbackWMs, i), False);
79
wfatal(_("failed to start alternate window manager. Aborting."));
83
else if (crashAction == WMAbort)
90
int MonitorLoop(int argc, char **argv)
93
char **child_argv= wmalloc(sizeof(char*)*(argc+2));
98
for (i= 0; i < argc; i++)
99
child_argv[i]= argv[i];
100
child_argv[i++]= "--for-real";
105
last_start= time(NULL);
107
/* Start Window Maker */
111
execvp(child_argv[0], child_argv);
112
wsyserror(_("Error respawning Window Maker"));
117
wsyserror(_("Error respawning Window Maker"));
122
if ((exited=waitpid(-1, &status, 0)) < 0)
124
wsyserror(_("Error during monitoring of Window Maker process."));
128
} while (exited != pid);
133
child_argv[argc]= "--for-real-";
135
/* Check if the wmaker process exited due to a crash */
136
if (WIFSIGNALED(status) &&
137
(WTERMSIG(status) == SIGSEGV ||
138
WTERMSIG(status) == SIGBUS ||
139
WTERMSIG(status) == SIGILL ||
140
WTERMSIG(status) == SIGABRT ||
141
WTERMSIG(status) == SIGFPE))
143
/* If so, we check when was the last restart.
144
* If it was less than 3s ago, it's a bad sign, so we show
145
* the crash panel and ask the user what to do */
146
if (time(NULL) - last_start < 3)
148
if (showCrashDialog(WTERMSIG(status)) == 0) {
152
wwarning(_("Window Maker exited due to a crash (signal %i) and will be restarted."),