server: Send a SIGKILL to processes that don't terminate properly.
diff --git a/server/process.h b/server/process.h
index 6edb1e6..c447e2f 100644
--- a/server/process.h
+++ b/server/process.h
@@ -57,6 +57,8 @@
struct fd *msg_fd; /* fd for sendmsg/recvmsg */
process_id_t id; /* id of the process */
process_id_t group_id; /* group id of the process */
+ struct timeout_user *sigkill_timeout; /* timeout for final SIGKILL */
+ int unix_pid; /* Unix pid for final SIGKILL */
int exit_code; /* process exit code */
int running_threads; /* number of threads running in this process */
struct timeval start_time; /* absolute time at process start */
