Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Resetting the rate to default should be done before the call to
authordutot <dutot@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 20 Feb 2006 15:19:23 +0000 (15:19 +0000)
committerdutot <dutot@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 20 Feb 2006 15:19:23 +0000 (15:19 +0000)
commit80f442e05f4079b95d52af88f58374dcbc3a8f72
tree935685cd99f2dae6579ef839529e202df8ffd828
parentd5452f2220046484642bb07f9e870663bc5f054d
Resetting the rate to default should be done before the call to
MSG_task_destroy which potentially frees the task and all the task
structure.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1930 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/msg/gos.c