Set exitcodes when killing from the monitor
authorBarret Rhoden <brho@cs.berkeley.edu>
Sat, 21 Jan 2017 17:02:42 +0000 (12:02 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 21 Jan 2017 17:07:06 +0000 (12:07 -0500)
commite813767e983d1e7f8b0e4db7ba7e3cc73588d18c
tree9442699f1e7c853d24523f937608160b225df186
parent3375c9287c31bf7a2048c5d27ac6208a83f019a0
Set exitcodes when killing from the monitor

Otherwise, processes that wait will get gibberish, and possibly 0, for
return codes from processes killed from the monitor.  If we had to kill
a process manually, we should return some code.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/monitor.c