~mdw
/
secnet
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
slip: Report unexpected kinds of death from userv
[secnet]
/
slip.c
diff --git
a/slip.c
b/slip.c
index
59978c9
..
3f7935a
100644
(file)
--- a/
slip.c
+++ b/
slip.c
@@
-230,7
+230,9
@@
static void userv_userv_callback(void *sst, pid_t pid, int status)
"(expected %d)\n",pid,st->pid);
return;
}
"(expected %d)\n",pid,st->pid);
return;
}
- if (!st->expecting_userv_exit) {
+ if (!(st->expecting_userv_exit &&
+ (!status ||
+ (WIFSIGNALED(status) && WTERMSIG(status)==SIGTERM)))) {
lg_exitstatus(0,st->slip.nl.name,0,
st->expecting_userv_exit ? M_WARNING : M_FATAL,
status,"userv");
lg_exitstatus(0,st->slip.nl.name,0,
st->expecting_userv_exit ? M_WARNING : M_FATAL,
status,"userv");