#!/bin/sh
#
# /etc/X11/wdm/Xreset
#
# This script is run as root after any X session ends.

# Remove the utmp entry for the session
if grep -q ^use-sessreg /etc/X11/wdm/wdm.options; then
  sessreg -d -l $DISPLAY -u /var/run/utmp -x /etc/X11/wdm/Xservers $USER
fi

# This must be done here as opposed to in the Xsetup scripts as 
# they are run after wdm has initialized its session menu, so 
# any changes made there won't be reflected in the current menu
if grep -q ^auto-update-wmlist /etc/X11/wdm/wdm.options; then
  update_wdm_wmlist
fi

exit 0
