Exit after the user's session has finished.  This works around slim's broken
PAM session handling (see
http://developer.berlios.de/bugs/?func=detailbug&bug_id=19102&group_id=2663).

Patch by Eelco Dolstra, from Nixpkgs.

--- slim-1.3.6/app.cpp	2013-10-15 11:02:55.629263422 +0200
+++ slim-1.3.6/app.cpp	2013-10-15 13:00:10.141210784 +0200
@@ -816,7 +822,7 @@
 	StopServer();
 	RemoveLock();
 	while (waitpid(-1, NULL, WNOHANG) > 0); /* Collects all dead childrens */
-	Run();
+	exit(OK_EXIT);
 }
 
 void App::KillAllClients(Bool top) {
ass='main'><a href='/'>index</a> : <a href='/guix/'>guix</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>refs</a><a class='active' href='/guix/log/gnu/system/examples/desktop.tmpl'>log</a><a href='/guix/tree/gnu/system/examples/desktop.tmpl?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>tree</a><a href='/guix/commit/gnu/system/examples/desktop.tmpl?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>commit</a><a href='/guix/diff/gnu/system/examples/desktop.tmpl?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/system/examples/desktop.tmpl'>
<input type='hidden' name='id' value='9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>root</a>/<a href='/guix/log/gnu?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>gnu</a>/<a href='/guix/log/gnu/system?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>system</a>/<a href='/guix/log/gnu/system/examples?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>examples</a>/<a href='/guix/log/gnu/system/examples/desktop.tmpl?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3'>desktop.tmpl</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/system/examples/desktop.tmpl?id=9fc2922794ffaae48e0a7c536e530ea2e0d46cf3&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2018-07-05 11:44:46 +0200'>2018-07-05</span></td><td><a href='/guix/commit/gnu/system/examples/desktop.tmpl?id=fc0e663f782896f542d008c871d21b9cf636a75c'>doc: Improve UEFI/BIOS bootloader documentation.</a><span class='msg-avail'>...<span class='msg-tooltip'>Partly fixes &lt;https://bugs.gnu.org/30312&gt;.

* doc/guix.texi (Preparing for Installation): Add note on how to choose
between UEFI and BIOS.
(Using the Configuration System)[Bootloader]: New subsubsection.
(Bootloader Configuration): Expound on the bootloader type and target.
* gnu/system/examples/desktop.tmpl: Switch to UEFI.
* gnu/system/examples/bare-bones.tmpl: Explicitly mention "legacy" and
"BIOS" in the comments.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-01-21 00:24:03 +0100'>2018-01-21</span></td><td><a href='/guix/commit/gnu/system/examples/desktop.tmpl?id=30875d07ef7c970c77ee6117043ad59c16a4e777'>doc: No longer mention Wicd in OS examples.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/examples/desktop.tmpl,
gnu/system/examples/lightweight-desktop.tmpl: Mention NetworkManager
instead of Wicd.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-08-23 22:23:19 +0200'>2017-08-23</span></td><td><a href='/guix/commit/gnu/system/examples/desktop.tmpl?id=045ebb3e58d74c75f39ce47380045d3cd00359c3'>gnu: bootloader: Deprecate "device" field in favor of "target".</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/bootloader.scm (&lt;bootloader-configuration&gt;): Deprecate "device" field in
favor of "target" field.  This is mostly a renaming but also a generalization
to support UEFI targets being paths to a mounted partition instead of a device
name.
* gnu/system/examples/bare-bones.tmpl:
* gnu/system/examples/desktop.tmpl:
* gnu/system/examples/lightweight-desktop.tmpl:
* gnu/system/examples/vm-image.tmpl:
* gnu/system/install.scm:
* gnu/tests.scm:
* gnu/tests/install.scm:
* gnu/tests/nfs.scm:
* tests/system.scm: Adapt all invocations of bootloader-configuration.
* guix/scripts/system.scm (perform-action): Rename device argument to
bootloader-target.
(process-action): Adapt caller.
* doc/guix.texi (Proceeding with the Installation):
* doc/guix.texi (Bootloader Configuration): Update documentation.
</span></span></td><td>Andy Wingo</td></tr>
<tr><td><span title='2017-08-20 11:16:42 +0200'>2017-08-20</span></td><td><a href='/guix/commit/gnu/system/examples/desktop.tmpl?id=2941b347b664a3d3114de0ac95e28db78db66144'>gnu: grub-efi-bootloader: Specialize grub-install invocation.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/bootloader/grub.scm (install-grub-efi): Fix grub-install invocation for
  EFI systems.
* gnu/system/examples/bare-bones.tmpl: Use the newer
"bootloader-configuration" syntax.
* gnu/system/examples/desktop.tmpl: Use bootloader-configuration sytax.  Also,
use the same label for the LUKS-mapped device and the root partition.  Remove
unneeded "title" field for the file-system based on LUKS; as noted in the
manual, the "title" field is ignored for mapped devices.
* gnu/system/examples/lightweight-desktop.tmpl: Use bootloader-configuration,
and use grub-efi-bootloader.
</span></span></td><td>Andy Wingo</td></tr>
<tr><td><span title='2017-02-13 10:02:54 +0100'>2017-02-13</span></td><td><a href='/guix/commit/gnu/system/examples/desktop.tmpl?id=d2986552d17058ce532c7f2377185e1b2323adf2'>system: Use the normalized codeset for the locale name in the examples.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/examples/bare-bones.tmpl &lt;locale&gt;: Change to "en_US.utf8".
* gnu/system/examples/desktop.tmpl &lt;locale&gt;: Likewise.
* gnu/system/examples/lightweight-desktop.tmpl &lt;locale&gt;: Likewise.
</span></span></td><td>Ludovic Courtès</td></tr>