]> git.tuebingen.mpg.de Git - paraslash.git/commit
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)
commit8ed782af8c51c4f79b81825f7a049b12baf93cb1
tree959c1ce53f9eefb08833758047d6a9efa97f48ab
parent1db8df45ae458aec53f489b5cd414d6866f93b8c
gui: fix command abort

Always kill the the child process if user aborts.
gui.c