diff options
Diffstat (limited to 'gdm-stop.in')
-rwxr-xr-x | gdm-stop.in | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/gdm-stop.in b/gdm-stop.in deleted file mode 100755 index 974c18af..00000000 --- a/gdm-stop.in +++ /dev/null @@ -1,21 +0,0 @@ -#!/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` |