]> git.tue.mpg.de Git - paraslash.git/commit
gui: Remove superfluous cmd_died.
authorAndre Noll <maan@systemlinux.org>
Mon, 25 Mar 2013 02:22:24 +0000 (02:22 +0000)
committerAndre Noll <maan@systemlinux.org>
Thu, 2 May 2013 17:56:08 +0000 (19:56 +0200)
commitef0508ee41853a36a60676714ff1deecf9bb930d
tree8e67521078e8554420e60870b7c705b0a63d94cf
parentd7562ba640e30ac4bf1160509f4c2f705363d53f
gui: Remove superfluous cmd_died.

We might as well directly refer to cmd_pid which is set to zero in the
signal handling code after the process exits.
gui.c