Convert some tabs to spaces in END

sot · Jan 9, 2023 · ed955e3 · ed955e3
1 parent cc6be07
commit ed955e3
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/starcheck/src/starcheck.pl b/starcheck/src/starcheck.pl
@@ -1170,16 +1170,16 @@ END
 
     # If the Python process id is defined, kill that process and wait
     if (defined $pid) {
-	if ($par{verbose} gt 1){
-	    my $server_calls = call_python("get_server_calls");
-	    # print the server_calls hash sorted by value in descending order
-	    print("Python server calls:");
-	    print Dumper($server_calls);
-	}
-	if ($par{verbose} gt 1){
-	    print("Shutting down python starcheck server with pid=$pid\n");
-	}
-	kill 9, $pid;                    # must it be 9 (SIGKILL)?
+        if ($par{verbose} gt 1){
+	        my $server_calls = call_python("get_server_calls");
+	        # print the server_calls hash sorted by value in descending order
+	        print("Python server calls:");
+	        print Dumper($server_calls);
+	    }
+	    if ($par{verbose} gt 1){
+	        print("Shutting down python starcheck server with pid=$pid\n");
+	    }
+	    kill 9, $pid;                    # must it be 9 (SIGKILL)?
         my $gone_pid = waitpid $pid, 0;  # then check that it's gone
     }
     exit($exit_status);