diff options
-rwxr-xr-x | etc/rc.banner | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/etc/rc.banner b/etc/rc.banner index a11208a..96bbe22 100755 --- a/etc/rc.banner +++ b/etc/rc.banner @@ -34,6 +34,18 @@ require_once("config.inc"); require_once("functions.inc"); + if(file_exists("/var/run/lastlogin") { + $last_login_time = file_get_contents("{$g['varrun_path']}/lastlogin"); + $time_now = time(); + if($time_now - $last_login_time < 20) { + log_error("Console respawn bug detected. CTRL-C to exit."); + sleep(600); + } + } + $fd = fopen("{$g['varrun_path']}/lastlogin", "w"); + fwrite($fd, time()); + fclose($fd); + $version = trim(file_get_contents("{$g['etc_path']}/version")); $platform = trim(file_get_contents("{$g['etc_path']}/platform")); $hostname = $config['system']['hostname']; |