gdm-stop.in 431 Bytes
Newer Older
1
#!/bin/sh
2
PIDFILE=`grep '^PidFile=' @EXPANDED_SYSCONFDIR@/gdm/gdm.conf | sed -e 's/^PidFile=//'`
3 4 5 6 7 8 9 10 11 12 13
if test x$PIDFILE = x ; then
	echo "Can't find the PID file in the configuration file, going to try:"
	echo "/var/run/gdm.pid"
	PIDFILE=/var/run/gdm.pid
fi
if test '!' -f $PIDFILE ; then
	echo "$PIDFILE doesn't exist, perhaps GDM isn't running"
	exit 1
fi
# exec the kill to get the correct return code
exec kill -TERM `cat $PIDFILE`