diff options
-rwxr-xr-x | etc/rc.banner | 4 | ||||
-rwxr-xr-x | etc/rc.initial | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/etc/rc.banner b/etc/rc.banner index 960472a..cd01776 100755 --- a/etc/rc.banner +++ b/etc/rc.banner @@ -38,9 +38,9 @@ $last_login_time = file_get_contents("{$g['varrun_path']}/lastlogin"); $time_now = time(); $time_diff = $time_now - $last_login_time; - if($time_diff < 25) { + if($time_diff < 30) { log_error("Console respawn bug detected. CTRL-C to exit."); - echo "Console respawn bug detected. CTRL-C to exit. {$time_diff}"; + echo "\nPress CTRL-C to get started. ({$time_diff})\n"; sleep(6600); } } diff --git a/etc/rc.initial b/etc/rc.initial index c78afbe..f5a33d7 100755 --- a/etc/rc.initial +++ b/etc/rc.initial @@ -46,6 +46,8 @@ echo `tty` > /tmp/last_term_seen # Set our operating platform PLATFORM=`cat /etc/platform` +/etc/rc.banner + # endless loop while : ; do @@ -54,8 +56,6 @@ if [ -f /tmp/ttybug ]; then exit && exit && logout fi -/etc/rc.banner - # display a cheap menu echo echo |