]> git.tue.mpg.de Git - paraslash.git/commit
gui: Combine exit functions.
authorAndre Noll <maan@systemlinux.org>
Tue, 7 Jan 2014 17:35:08 +0000 (17:35 +0000)
committerAndre Noll <maan@systemlinux.org>
Sun, 4 May 2014 13:48:54 +0000 (15:48 +0200)
commit2b8250e7d8b4bb34727470ee208fc9b725371bec
tree352d37c0cca73d5803a6855b1e808c287ce07d52
parentfc002ac17bca672e912dfc0a390b20eb79ed87a0
gui: Combine exit functions.

Currently we have kill_pg_and_die(), finish(), msg_n_exit(), which
is kind of excessive. This patch replaces these three functions by
the single die() which does the right thing in all cases.
gui.c