|
Lines 301-312
Link Here
|
| 301 |
|
301 |
|
| 302 |
if (waiting_for_server) { |
302 |
if (waiting_for_server) { |
| 303 |
gdm_error ("gdm_server_stop: Some problem killing server, whacking with SIGKILL"); |
303 |
gdm_error ("gdm_server_stop: Some problem killing server, whacking with SIGKILL"); |
| 304 |
if (disp->servpid > 1) |
304 |
if (disp->servpid > 1) { |
| 305 |
kill (disp->servpid, SIGKILL); |
305 |
kill (disp->servpid, SIGKILL); |
|
|
306 |
system("/sbin/rmmod nvidia fglrx"); |
| 307 |
} |
| 306 |
|
308 |
|
| 307 |
} else { |
309 |
} else { |
| 308 |
if (disp->servpid > 1 && |
310 |
if (disp->servpid > 1 && |
| 309 |
kill (disp->servpid, SIGTERM) == 0) { |
311 |
kill (disp->servpid, SIGTERM) == 0) { |
|
|
312 |
system("/sbin/rmmod nvidia fglrx"); |
| 310 |
waiting_for_server = TRUE; |
313 |
waiting_for_server = TRUE; |
| 311 |
ve_waitpid_no_signal (disp->servpid, NULL, 0); |
314 |
ve_waitpid_no_signal (disp->servpid, NULL, 0); |
| 312 |
waiting_for_server = FALSE; |
315 |
waiting_for_server = FALSE; |
|
Lines 1105-1112
Link Here
|
| 1105 |
pid_t pid = d->servpid; |
1108 |
pid_t pid = d->servpid; |
| 1106 |
d->servpid = 0; |
1109 |
d->servpid = 0; |
| 1107 |
if (pid > 1 && |
1110 |
if (pid > 1 && |
| 1108 |
kill (pid, SIGTERM) == 0) |
1111 |
kill (pid, SIGTERM) == 0) { |
|
|
1112 |
system("/sbin/rmmod nvidia fglrx"); |
| 1109 |
ve_waitpid_no_signal (pid, NULL, 0); |
1113 |
ve_waitpid_no_signal (pid, NULL, 0); |
|
|
1114 |
} |
| 1110 |
} |
1115 |
} |
| 1111 |
|
1116 |
|
| 1112 |
/* Figure out the server command */ |
1117 |
/* Figure out the server command */ |