Completed
Push — master ( 9d3ff2...cac8c8 )
by Yannick
74:55 queued 44:36
created
scripts/update_db.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -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.