# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1391188560 -3600
# Node ID dc12a3fa4961fc93308ff4806d0070b215d7093f
# Parent  b01cc78caba435128099ae3f504ce2acfc5c1000
capture SIGTERM

diff -r b01cc78caba4 -r dc12a3fa4961 Core/Toolbox.cpp
--- a/Core/Toolbox.cpp	Fri Jan 31 17:45:27 2014 +0100
+++ b/Core/Toolbox.cpp	Fri Jan 31 18:16:00 2014 +0100
@@ -187,6 +187,7 @@
 #else
     signal(SIGINT, SignalHandler);
     signal(SIGQUIT, SignalHandler);
+    signal(SIGTERM, SignalHandler);
 #endif
   
     finish = false;
@@ -200,6 +201,7 @@
 #else
     signal(SIGINT, NULL);
     signal(SIGQUIT, NULL);
+    signal(SIGTERM, NULL);
 #endif
   }