# HG changeset patch # User Giulio Moro # Date 1440208257 -3600 # Node ID d6245d5880c5bff88bbead32d9c37e0627d27c1e # Parent bc514f29c3aa698b99145e870c529410fb4b5faf Killing the process with -9 intead of -2 diff -r bc514f29c3aa -r d6245d5880c5 .cproject --- a/.cproject Sat Aug 22 01:20:55 2015 +0100 +++ b/.cproject Sat Aug 22 02:50:57 2015 +0100 @@ -14,7 +14,7 @@ - +