From: Andre Noll <maan@systemlinux.org>
Date: Mon, 25 Mar 2013 03:08:12 +0000 (+0000)
Subject: gui: Rename do_exit().
X-Git-Tag: v0.4.13~33^2~8
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=20e2c6a532dcb0c197062b9f97753e000eae3c6a;hp=20e2c6a532dcb0c197062b9f97753e000eae3c6a

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.
---