Fix NPE when calling kill.sh

Introduced in a96434 (remove dependency on commons-lang3)
magmaOffenburg · Jul 1, 2024 · b86e969 · b86e969
1 parent 1b7e3b4
commit b86e969
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/main/java/magma/tools/benchmark/model/bench/SinglePlayerLauncher.java b/src/main/java/magma/tools/benchmark/model/bench/SinglePlayerLauncher.java
@@ -95,12 +95,8 @@ private void startPlayer(RunInformation runInfo)
 
 	public void stopPlayer()
 	{
-		runScript("kill.sh");
-	}
-
-	private void runScript(String scriptName)
-	{
-		runScript(scriptName, null);
+		Object[] arguments = {""};
+		runScript("kill.sh", arguments);
 	}
 
 	private void runScript(String scriptName, Object[] arguments)