]> git.tue.mpg.de Git - paraslash.git/commit
gui: Rename do_exit().
authorAndre Noll <maan@systemlinux.org>
Mon, 25 Mar 2013 03:08:12 +0000 (03:08 +0000)
committerAndre Noll <maan@systemlinux.org>
Thu, 2 May 2013 17:56:08 +0000 (19:56 +0200)
commit20e2c6a532dcb0c197062b9f97753e000eae3c6a
tree818c955f0fe96a8591a1d0f3a2e4969e006946cd
parentef0508ee41853a36a60676714ff1deecf9bb930d
gui: Rename do_exit().

This function sends SIGTERM to every process in the process group of
para_gui and dies thereafter. So kill_pg_and_die() is more descriptive
than the old name.
gui.c