diff options
Diffstat (limited to 'move/tree/X_move')
-rwxr-xr-x | move/tree/X_move | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/move/tree/X_move b/move/tree/X_move deleted file mode 100755 index dde4bcc32..000000000 --- a/move/tree/X_move +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -ok=0 -lastdate1=0 -lastdate0=0 -while [ "$ok" == 0 -a ! -s /var/run/rebootctl ]; do - lastdate2=$lastdate1 - lastdate1=$lastdate0 - lastdate0=`date +%s` - if [ `expr $lastdate0 - $lastdate2` -lt 40 ]; then - echo "X server respawning too fast :(, dropping to a shell" - bash - fi - X $@ - ok=$? -done |