]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
gui: fix command abort
authorAndre <maan@p133.(none)>
Thu, 13 Jul 2006 14:00:57 +0000 (16:00 +0200)
committerAndre <maan@p133.(none)>
Thu, 13 Jul 2006 14:00:57 +0000 (16:00 +0200)
Always kill the the child process if user aborts.


No differences found