From: Andre <maan@p133.(none)>
Date: Thu, 13 Jul 2006 14:00:57 +0000 (+0200)
Subject: gui: fix command abort
X-Git-Tag: v0.2.14~57^2~9
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=8ed782af8c51c4f79b81825f7a049b12baf93cb1;hp=8ed782af8c51c4f79b81825f7a049b12baf93cb1;p=paraslash.git

gui: fix command abort

Always kill the the child process if user aborts.
---