summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
6aee817)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2221
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
gras_msg_send(toserver,gras_msgtype_by_name("kill"),NULL);
gras_msg_send(toforwarder,gras_msgtype_by_name("kill"),NULL);
gras_msg_send(toserver,gras_msgtype_by_name("kill"),NULL);
gras_msg_send(toforwarder,gras_msgtype_by_name("kill"),NULL);
+ gras_os_sleep(1); /* give peer a chance to get the message before closing the socket */
/* 11. Cleanup the place before leaving */
gras_socket_close(toserver);
/* 11. Cleanup the place before leaving */
gras_socket_close(toserver);