Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8fc3a04) | patch
Actually, now that the appside is not ptraced, there is no point killing it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 25 Mar 2023 14:36:41 +0000 (15:36 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 25 Mar 2023 14:36:46 +0000 (15:36 +0100)
commit5309f38c9b47928692c46db97bb14760646a705c
tree5cdcf1b50873091056ed6978cef77705e1b45e1btree | snapshot
parent8fc3a04bdb3005605a73791ddddcf22b186b29b6commit | diff
Actually, now that the appside is not ptraced, there is no point killing it

Closing the socket is enough; it will exit on its self.

Also, there is no point waitpid()ing it, as the libevent loop is
already doing so.
src/mc/remote/CheckerSide.cpp diff | blob | history
Clone of SimGrid repository with local patches