















































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