Completed
Push — master ( 7972c9...d56c75 )
by Yannick
29:57
created
scripts/update_db.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -7,10 +7,10 @@
 block discarded – undo
7 7
 
8 8
 // Check if script is not already running... (dirty)
9 9
 if (strtoupper(substr(PHP_OS, 0, 3)) != 'WIN') {
10
-	if(function_exists('exec')) {
10
+	if (function_exists('exec')) {
11 11
 		exec("ps ux", $output, $result);
12 12
 		$j = 0;
13
-		foreach ($output as $line) if(strpos($line, dirname(__FILE__)."/update_db.php") && !strpos($line, "sh ") && !strpos($line, "sudo ")) $j++;
13
+		foreach ($output as $line) if (strpos($line, dirname(__FILE__)."/update_db.php") && !strpos($line, "sh ") && !strpos($line, "sudo ")) $j++;
14 14
 		if ($j > 1) {
15 15
 			echo "Script is already runnning...";
16 16
 			die();
Please login to merge, or discard this patch.