Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the kill_time timer when a process stops (fix #18888)
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 26 Apr 2015 21:39:35 +0000 (23:39 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 26 Apr 2015 21:39:35 +0000 (23:39 +0200)
commit9bd89d253a72967d4bb3c041c5fb5df8b210a556
treeb83557389ad8f9cf0b9f33765cd0bbc37fd2c52e
parent12900371925594a27b91457d6db67020eb4df4e5
Remove the kill_time timer when a process stops (fix #18888)
ChangeLog
include/simgrid/simix.h
src/simix/libsmx.c
src/simix/smx_global.c
src/simix/smx_process.c
src/simix/smx_process_private.h