#!/bin/sh
# Deregister a login. (Derived from TakeConsole as follows:)
#
/usr/bin/sessreg -d -w "/var/log/wtmp" -u "/var/run/utmp" 	-x "XDMCONFIGDIR/Xservers" -l $DISPLAY -h "" $USER
