Making sure we kill all child processes
commit9df56d7c18631b486d68a3a2709660b6634b7672
authorGuillaume Chazarain <guichaz@gmail.com>
Fri, 12 Jun 2009 12:16:30 +0000 (12 14:16 +0200)
committerGuillaume Chazarain <guichaz@gmail.com>
Fri, 12 Jun 2009 12:16:30 +0000 (12 14:16 +0200)
tree4c1edbe1c277a66e1feed61a996ca1a1fd5f38be
parentf21344f9e30f6680accc3fd5943ba488457a4f01
Making sure we kill all child processes
gsh/main.py
gsh/remote_dispatcher.py