Use format precision modifier in date outputs, since some of the GRAS messages are...

[simgrid.git] / examples / gras / ping / test_rl.in

diff --git a/examples/gras/ping/test_rl.in b/examples/gras/ping/test_rl.in
index 3aaaac6..268dfd8 100755 (executable)
--- a/examples/gras/ping/test_rl.in
+++ b/examples/gras/ping/test_rl.in
@@ -1,10 +1,24 @@
-#! @BASH@ -e
-if [ x@EXEEXT@ = x ] ; then 
-  wine=
-else
-  wine=wine
-fi
-    
-$wine ./ping_server@EXEEXT@ 4002 $@ &
-sleep 1
-$wine ./ping_client@EXEEXT@ 127.0.0.1 4002 $@
+
+#! set timeout 20
+& $SG_TEST_ENV ./ping_server@EXEEXT@ 4002 --log=root.fmt=%m%n
+> Launch server (port=4002)
+> Messages registered
+> Messages registered
+> >>>>>>>> Listening on port 4002 <<<<<<<<
+> >>>>>>>> Got message PING(1234) from 127.0.0.1:0 <<<<<<<<
+> >>>>>>>> Answered with PONG(4321) <<<<<<<<
+> Done.
+> Exiting GRAS
+
+$ sleep 1
+
+#! set timeout 20
+& $SG_TEST_ENV ./ping_client@EXEEXT@ 127.0.0.1 4002 --log=root.fmt=%m%n
+> Launch client (server on 127.0.0.1:4002)
+> Connected to 127.0.0.1:4002.
+> Messages registered
+> >>>>>>>> Connected to server which is on 127.0.0.1:4002 <<<<<<<<
+> >>>>>>>> Message PING(1234) sent to 127.0.0.1:4002 <<<<<<<<
+> >>>>>>>> Got PONG(4321) from 127.0.0.1:4002 <<<<<<<<
+> Done.
+> Exiting GRAS