Merge branch 'master' of github.com:virtualmin/virtualmin-nginx

virtualmin · Jul 8, 2016 · 05b4062 · 05b4062
2 parents 6b09797 + bcf24e9
commit 05b4062
Showing 1 changed file with 11 additions and 10 deletions.
diff --git a/php-loop.pl b/php-loop.pl
@@ -4,17 +4,18 @@
 use warnings;
 use POSIX;
 
-my $dead = 0;
-my $childpid;
+our $dead = 0;
+our $childpid = 0;
 
-$SIG{'TERM'} = sub { $dead = 1;
-if ($childpid) {
-	kill('TERM', $childpid);
-	sleep(1);	# Give it time to clean up
-	kill('KILL', $childpid);
-	}
-	exit(1);
-};
+$SIG{'TERM'} = sub {
+		$dead = 1;
+		if ($childpid) {
+			kill('TERM', $childpid);
+			sleep(1);	# Give it time to clean up
+			kill('KILL', $childpid);
+		}
+		exit(1);
+	};
 
 while(!$dead) {
 	my $start = time();