]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
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)
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.


No differences found