Bladeren bron

fix empty pid file name

Tim Fry 1 jaar geleden
bovenliggende
commit
ae830c81bf
1 gewijzigde bestanden met toevoegingen van 10 en 7 verwijderingen
  1. 10 7
      resources/classes/service.php

+ 10 - 7
resources/classes/service.php

@@ -705,13 +705,16 @@ abstract class service {
 		defined('STDIN') or die('Unauthorized');
 		defined('STDIN') or die('Unauthorized');
 
 
 		//force launching in a seperate process
 		//force launching in a seperate process
-//		if ($pid = pcntl_fork()) {
-//			exit;
-//		}
-//
-//		if ($cid = pcntl_fork()) {
-//			exit;
-//		}
+		if ($pid = pcntl_fork()) {
+			exit;
+		}
+
+		if ($cid = pcntl_fork()) {
+			exit;
+		}
+
+		//set the PID file we will use
+		self::$pid_file = self::get_pid_filename();
 
 
 		//TODO remove updated settings object after merge
 		//TODO remove updated settings object after merge
 		if (file_exists( __DIR__ . '/settings.php')) {
 		if (file_exists( __DIR__ . '/settings.php')) {