Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: dc6775d)
Synchronize threads before exit on armageddon.
authoragiersch <agiersch@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 23 Nov 2010 20:01:16 +0000 (20:01 +0000)
committeragiersch <agiersch@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 23 Nov 2010 20:01:16 +0000 (20:01 +0000)
This fixes a segfault when a runner thread tries to use the logging
facility after it has been shut down.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8623 48e7efb5-ca39-0410-a469-dd3cf9ba447f


No differences found
Clone of SimGrid repository with local patches