Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add port number to process identification in logs, since the hostname is not really...
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sun, 27 Aug 2006 22:57:15 +0000 (22:57 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sun, 27 Aug 2006 22:57:15 +0000 (22:57 +0000)
commit67ce6d412627210abbaeafc5d67eef31f39ce2d9
tree6c4d4b87d3f63651f7a5840749fa0c3e5985241c
parentb996512c84c87b3e01e10859e2e9e5556e51fee2
Add port number to process identification in logs, since the hostname is not really discrimining when running in RL all processes on my laptop

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2761 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/amok/Bandwidth/saturate.c