diff options
Diffstat (limited to 'src/w32proc.c')
| -rw-r--r-- | src/w32proc.c | 28 |
1 files changed, 1 insertions, 27 deletions
diff --git a/src/w32proc.c b/src/w32proc.c index 9b111b40e36..87af8682390 100644 --- a/src/w32proc.c +++ b/src/w32proc.c | |||
| @@ -1274,33 +1274,7 @@ waitpid (pid_t pid, int *status, int options) | |||
| 1274 | #endif | 1274 | #endif |
| 1275 | 1275 | ||
| 1276 | if (status) | 1276 | if (status) |
| 1277 | { | 1277 | *status = retval; |
| 1278 | *status = retval; | ||
| 1279 | } | ||
| 1280 | else if (synch_process_alive) | ||
| 1281 | { | ||
| 1282 | synch_process_alive = 0; | ||
| 1283 | |||
| 1284 | /* Report the status of the synchronous process. */ | ||
| 1285 | if (WIFEXITED (retval)) | ||
| 1286 | synch_process_retcode = WEXITSTATUS (retval); | ||
| 1287 | else if (WIFSIGNALED (retval)) | ||
| 1288 | { | ||
| 1289 | int code = WTERMSIG (retval); | ||
| 1290 | const char *signame; | ||
| 1291 | |||
| 1292 | synchronize_system_messages_locale (); | ||
| 1293 | signame = strsignal (code); | ||
| 1294 | |||
| 1295 | if (signame == 0) | ||
| 1296 | signame = "unknown"; | ||
| 1297 | |||
| 1298 | synch_process_death = signame; | ||
| 1299 | } | ||
| 1300 | |||
| 1301 | reap_subprocess (cp); | ||
| 1302 | } | ||
| 1303 | |||
| 1304 | reap_subprocess (cp); | 1278 | reap_subprocess (cp); |
| 1305 | 1279 | ||
| 1306 | return pid; | 1280 | return pid; |