Somehow fix the killing of actors in Java

[simgrid.git] / examples / java / app / centralizedmutex / app-centralizedmutex.tesh

diff --git a/examples/java/app/centralizedmutex/app-centralizedmutex.tesh b/examples/java/app/centralizedmutex/app-centralizedmutex.tesh
index a90defd..5496f03 100644 (file)
--- a/examples/java/app/centralizedmutex/app-centralizedmutex.tesh
+++ b/examples/java/app/centralizedmutex/app-centralizedmutex.tesh
@@ -1,4 +1,4 @@
-#! tesh
+#!/usr/bin/env tesh
 
 ! output sort 19
 
@@ -11,4 +11,4 @@ $ java -classpath ${classpath:=.} app/centralizedmutex/Main ${srcdir:=.}/../plat
 > [Fafard:app.centralizedmutex.Node:(3) 0.063737] [java/INFO] Wait for a grant from the coordinator
 > [Tremblay:app.centralizedmutex.Coordinator:(1) 0.063737] [java/INFO] Got a request from app.centralizedmutex.Node. Queue empty: grant it
 > [Tremblay:app.centralizedmutex.Coordinator:(1) 0.134167] [java/INFO] we should shutdown the simulation now
-> [0.134167] [java/INFO] MSG_main finished; Cleaning up the simulation...
+> [0.134167] [java/INFO] MSG_main finished; Terminating the simulation...