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

[simgrid.git] / examples / gras / ping / ping_client.c

diff --git a/examples/gras/ping/ping_client.c b/examples/gras/ping/ping_client.c
index d213bdb..c496424 100644 (file)
--- a/examples/gras/ping/ping_client.c
+++ b/examples/gras/ping/ping_client.c
@@ -78,7 +78,7 @@ int client(int argc,char *argv[]) {
 
   /* 10. Free the allocated resources, and shut GRAS down */
   gras_socket_close(toserver);
-  gras_exit();
   INFO0("Done.");
+  gras_exit();
   return 0;
 } /* end_of_client */