Break the spawnd kill API into kill + cleanup.
[barrelfish] / usr / spawnd /
drwxr-xr-x   ..
-rw-r--r-- 2135 Hakefile
-rw-r--r-- 608 internal.h
-rw-r--r-- 3095 main.c
-rw-r--r-- 2836 ps.c
-rw-r--r-- 1486 ps.h
-rw-r--r-- 27258 service.c