diff options
| -rwxr-xr-x | move/tree/X_move | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/move/tree/X_move b/move/tree/X_move index 8059cbcba..dde4bcc32 100755 --- a/move/tree/X_move +++ b/move/tree/X_move @@ -1,18 +1,15 @@ #!/bin/bash ok=0 -lastdate2=0 lastdate1=0 lastdate0=0 while [ "$ok" == 0 -a ! -s /var/run/rebootctl ]; do - lastdate3=$lastdate2 lastdate2=$lastdate1 lastdate1=$lastdate0 lastdate0=`date +%s` - if [ `expr $lastdate0 - $lastdate3` -lt 20 ]; then - echo "X server respawning too fast [ $lastdate0 : $lastdate1 : $lastdate2 : $lastdate3 ] :(" - while [ true ]; do sleep 10; done - exit 1 + if [ `expr $lastdate0 - $lastdate2` -lt 40 ]; then + echo "X server respawning too fast :(, dropping to a shell" + bash fi X $@ ok=$? |