Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'tesh-fix-background-kill' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 13 Jun 2019 19:01:44 +0000 (21:01 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 13 Jun 2019 19:01:44 +0000 (21:01 +0200)
commitad076cb4dfa591616c0384a2ed348ff47a0ba71f
tree659a2c7373ba7d6e2a045a7244b04b26a42ff761
parent5f17cf7014dd16736b953bf970241eedc0fcbe89
parentd1bb9afb2ae25f776f4930496cf178501fd73507
Merge branch 'tesh-fix-background-kill' into 'master'

tesh: fix kill of background processes

Closes #24

See merge request simgrid/simgrid!10