From: suter Date: Thu, 29 Nov 2012 13:24:09 +0000 (+0100) Subject: remove some leaks by calling SD_exit() before dying X-Git-Tag: v3_9_rc1~86^2~251 X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c1fce3a7608e9f70779aa9eeeef2e1a310836c2f?ds=sidebyside;hp=c1fce3a7608e9f70779aa9eeeef2e1a310836c2f remove some leaks by calling SD_exit() before dying ---