In the event the second kill call fails we should probably be throwing an exception. If this is necessary we can make the "kill_with_throw" method in process.cc part of process.h and call it, since it will throw an exception if kill fails.