Issue 2063: Define the constant SIGTERM if not defined

diff --git a/boot.php b/boot.php
index 891d2a61a1defb074f05741bcdb08cb6e680191c..8434d34c705d3cbb5bef44953f9bdb8b43d45cbf 100644 (file)
--- a/boot.php
+++ b/boot.php
@@ -387,6 +387,10 @@ define ( 'GRAVITY_COMMENT',      6);
 /* @}*/
 
 
+// Normally this constant is defined - but not if "pcntl" isn't installed
+if (!defined("SIGTERM"))
+       define("SIGTERM", 15);
+
 /**
  *
  * Reverse the effect of magic_quotes_gpc if it is enabled.