#!/bin/sh
# Deregister a login. (Derived from TakeConsole as follows:)
#
/2021Q3/bin/sessreg -d   \
	-x /2021Q3/etc/xdm/Xservers -l $DISPLAY -h "" $USER
