From dd0d054b11e3aa57840e709089f7b2146900026f Mon Sep 17 00:00:00 2001 From: hqnghi88 Date: Sat, 7 May 2022 19:29:13 +0700 Subject: [PATCH] #3384 missing file, sorry benoit --- .../src/msi/gama/headless/listener/LaunchEndPoint.java | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/msi.gama.headless/src/msi/gama/headless/listener/LaunchEndPoint.java b/msi.gama.headless/src/msi/gama/headless/listener/LaunchEndPoint.java index fa5b83cf3e..2a5cb404c7 100644 --- a/msi.gama.headless/src/msi/gama/headless/listener/LaunchEndPoint.java +++ b/msi.gama.headless/src/msi/gama/headless/listener/LaunchEndPoint.java @@ -225,6 +225,14 @@ public void onMessage(final IGamaWebSocketServer server, final WebSocket socket, ((GamaWebSocketServer) server).get_listener().getExperiment(socket_id, id_exp).userStep(); } break; + case "stepBack": + System.out.println("stepBack " + id_exp); + if (((GamaWebSocketServer) server).get_listener().getExperiment(socket_id, id_exp) != null + && ((GamaWebSocketServer) server).get_listener().getExperiment(socket_id, id_exp) + .getSimulation() != null) { + ((GamaWebSocketServer) server).get_listener().getExperiment(socket_id, id_exp).userStepBack(); + } + break; case "pause": System.out.println("pause " + id_exp); if (((GamaWebSocketServer) server).get_listener().getExperiment(socket_id, id_exp) != null