From: Christophe Thiéry <christopho128@gmail.com>
Date: Fri, 14 Oct 2011 13:38:20 +0000 (+0200)
Subject: Simix: clean unfinished comms when terminating a process
X-Git-Tag: exp_20120216~558^2~10
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e5922b4dce28002422ca9d68a4c44521f67c0f6f?hp=e5922b4dce28002422ca9d68a4c44521f67c0f6f

Simix: clean unfinished comms when terminating a process
---