From b86e969ee920d8bb245083207351b5994d81f474 Mon Sep 17 00:00:00 2001
From: Klaus Dorer <klaus.dorer@hs-offenburg.de>
Date: Mon, 1 Jul 2024 15:37:50 +0200
Subject: [PATCH] Fix NPE when calling kill.sh

Introduced in a96434 (remove dependency on commons-lang3)
---
 .../tools/benchmark/model/bench/SinglePlayerLauncher.java | 8 ++------
 1 file changed, 2 insertions(+), 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
index fc52331..424fa8c 100644
--- 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)