blob: 2a842ee5bd9d7b9be82e47aa4e1fa6f26e5e8ebb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
PIDFILE=`grep '^PidFile=' @EXPANDED_SYSCONFDIR@/gdm/gdm.conf | sed -e 's/^PidFile=//'`
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`
|
