#!/bin/sh

#JMD 20060808
#Always run even if LOCAL_MEDIA is not set, since a user
#might have a session on another terminal, and we don't want
#him to access someone else's CD or USB key.

#MYXTERM_IP=`echo $DISPLAY | cut -f1 -d":"`
#if [ -r /tmp/lts.conf.$MYXTERM_IP ]; then
#        eval `grep LOCAL_MEDIA /tmp/lts.conf.$MYXTERM_IP`
#fi

#if [ "$LOCAL_MEDIA" = "Y" ]; then
	/usr/bin/pkill -9 -U $USER ltspfs
	/bin/umount -l $HOME/USB
#fi