Fix #51: changing extension_loaded to function_exists

ndrwnaguib · ndrwnaguib · commit cd9ea2b6ff76 · 2018-12-19T12:50:04.000+02:00
diff --git a/cli/judged.php b/cli/judged.php
@@ -90,7 +90,7 @@
     // create daemon
     verbose(cli_heading('Creating daemon', true));
 
-    if (!extension_loaded('pcntl') || !extension_loaded('posix')) {
+    if (!function_exists('pcntl') || !function_exists('posix')) {
         cli_error('PHP pcntl and posix extension must be installed!');
     }
 

Original file line number	Diff line number	Diff line change
`@@ -90,7 +90,7 @@`
`90`	`90`	`// create daemon`
`91`	`91`	`verbose(cli_heading('Creating daemon', true));`
`92`	`92`
`93`		`- if (!extension_loaded('pcntl') \|\| !extension_loaded('posix')) {`
	`93`	`+ if (!function_exists('pcntl') \|\| !function_exists('posix')) {`
`94`	`94`	`cli_error('PHP pcntl and posix extension must be installed!');`
`95`	`95`	`}`
`96`	`96`