diff options
Diffstat (limited to 'gdm-restart.in')
| -rwxr-xr-x | gdm-restart.in | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/gdm-restart.in b/gdm-restart.in deleted file mode 100755 index e2b2a237..00000000 --- a/gdm-restart.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 -HUP `cat $PIDFILE` |