#!/bin/sh

PIDFILE=`gdmflexiserver --command="GET_CONFIG daemon/PidFile"`
CHECKPIDFILE=`echo $PIDFILE | sed 's/^\([^ ]*\) .*$/\1/'`
if [ "x$CHECKPIDFILE" = "xOK" ]; then
    PIDFILE=`echo $PIDFILE | sed 's/^.* \(.*\)$/\1/'`
else
    PIDFILE=""
fi

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`