|
@@ -8,10 +8,10 @@ |
|
|
block discarded – undo |
|
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(); |
Please login to merge, or discard this patch.