use 15 instead SIGTERM constant (php warned about the constant)

CollaboraOnline · Mar 19, 2021 · 8ec2015 · 8ec2015
1 parent 21d1de2
commit 8ec2015
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proxy.php b/proxy.php
@@ -108,7 +108,7 @@ function stopLoolwsd()
     if (posix_kill($pid,0))
     {
         debug_log("Stopping the loolwsd server with pid: $pid");
-        posix_kill($pid,SIGTERM);
+        posix_kill($pid, 15 /*SIGTERM*/);
     }
 }