Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Simix: clean unfinished comms when terminating a process
authorChristophe Thiéry <christopho128@gmail.com>
Fri, 14 Oct 2011 13:38:20 +0000 (15:38 +0200)
committerChristophe Thiéry <christopho128@gmail.com>
Fri, 14 Oct 2011 13:38:20 +0000 (15:38 +0200)
commite5922b4dce28002422ca9d68a4c44521f67c0f6f
tree1722a834a2cae9d44457c3f9978f2aef8b3e6bfb
parentab9642a5bc0ad4cc31993e6ee9754bf94f269dcb
Simix: clean unfinished comms when terminating a process
src/simix/process_private.h
src/simix/smx_network.c
src/simix/smx_process.c
src/simix/smx_user.c