Dead remote shells should not prevent termination
commitce78021dc0b6ebc963f9ebb27b444b22d3aae57e
authorGuillaume Chazarain <guichaz@yahoo.fr>
Thu, 6 Dec 2007 22:43:35 +0000 (6 23:43 +0100)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Thu, 6 Dec 2007 22:43:35 +0000 (6 23:43 +0100)
tree9d70ba7f320c2e45134acfbeed2563eec4101faa
parentbbe93d684b157ea37c2599ad5c924a691780d7d2
Dead remote shells should not prevent termination
gsh/dispatchers.py