@@ -8,10 +8,10 @@ |
||
8 | 8 | require_once(dirname(__FILE__).'/../require/settings.php'); |
9 | 9 | // Check if script is not already running... (dirty) |
10 | 10 | if (strtoupper(substr(PHP_OS, 0, 3)) != 'WIN' && (!isset($globalDisableUpdateCheck) || $globalDisableUpdateCheck === FALSE)) { |
11 | - if(function_exists('exec')) { |
|
11 | + if (function_exists('exec')) { |
|
12 | 12 | exec("ps ux", $output, $result); |
13 | 13 | $j = 0; |
14 | - foreach ($output as $line) if(strpos($line, dirname(__FILE__)."/update_db.php") && !strpos($line, "sh ") && !strpos($line, "sudo ")) $j++; |
|
14 | + foreach ($output as $line) if (strpos($line, dirname(__FILE__)."/update_db.php") && !strpos($line, "sh ") && !strpos($line, "sudo ")) $j++; |
|
15 | 15 | if ($j > 1) { |
16 | 16 | echo "Script is already runnning..."; |
17 | 17 | die(); |