#3384 missing file, sorry benoit

gama-platform · May 7, 2022 · dd0d054 · dd0d054
1 parent af94d59
commit dd0d054
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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