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)