Changeset c2f277228ed93d3377c520fa75ba53e51c484254
- Timestamp:
- 03/06/10 19:50:00 (5 months ago)
- Author:
- Nedko Arnaudov <nedko@…>
- Children:
- 47dbbb940a7211caebac367f2a0fc05c278f6f8b
- Parents:
- a459a2a19cd0f110f245f6c1cbf0a39f6f2a6dad
- git-committer:
- Nedko Arnaudov <nedko@arnaudov.name> / 2010-03-06T19:50:00Z+0200
- Message:
-
When app is killed by a "bad" signal, log it as error
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r2d6f45c
|
rc2f2772
|
|
| 3 | 3 | * LADI Session Handler (ladish) |
| 4 | 4 | * |
| 5 | | * Copyright (C) 2008, 2009 Nedko Arnaudov <nedko@arnaudov.name> |
| | 5 | * Copyright (C) 2008, 2009, 2010 Nedko Arnaudov <nedko@arnaudov.name> |
| 6 | 6 | * Copyright (C) 2008 Juuso Alasuutari <juuso.alasuutari@gmail.com> |
| 7 | 7 | * Copyright (C) 2002 Robert Ham <rah@bash.sh> |
| … |
… |
|
| 158 | 158 | pid_t pid; |
| 159 | 159 | struct loader_child *child_ptr; |
| | 160 | int signal; |
| 160 | 161 | |
| 161 | 162 | while ((pid = waitpid(-1, &status, WNOHANG)) > 0) |
| … |
… |
|
| 178 | 179 | else if (WIFSIGNALED(status)) |
| 179 | 180 | { |
| 180 | | log_info("Child was killed by signal %d", WTERMSIG(status)); |
| | 181 | signal = WTERMSIG(status); |
| | 182 | switch (signal) |
| | 183 | { |
| | 184 | case SIGILL: |
| | 185 | case SIGABRT: |
| | 186 | case SIGSEGV: |
| | 187 | case SIGFPE: |
| | 188 | log_error("Child was killed by signal %d", signal); |
| | 189 | break; |
| | 190 | default: |
| | 191 | log_info("Child was killed by signal %d", signal); |
| | 192 | } |
| 181 | 193 | } |
| 182 | 194 | else if (WIFSTOPPED(status)) |