diff --git a/src/sat.sh b/src/sat.sh
index 36fc722d..4f9a866d 100755
--- a/src/sat.sh
+++ b/src/sat.sh
@@ -10,7 +10,7 @@ kill_process() {
         PID=`cat $1`
         if ps -p $PID > /dev/null; then
             echo "Terminating $2... "
-            kill -INT $PID
+            kill $PID
         else
             echo "No running process of ID $PID... removing PID file"
             rm -f $1