# HG changeset patch
# User Pascal Bellard
# Date 1302952954 -7200
# Node ID 2b8fdf8a45aaba2a4af9e159155f95312fb0b46c
# Parent a613e1727e0c0c53555e270b3a027beec7a07d82
boot.cgi: show boot logs
diff -r a613e1727e0c -r 2b8fdf8a45aa boot.cgi
--- a/boot.cgi Sat Apr 16 11:19:16 2011 +0200
+++ b/boot.cgi Sat Apr 16 13:22:34 2011 +0200
@@ -18,6 +18,23 @@
#
case " $(GET) " in
+ *\ log\ *)
+ xhtml_header
+
+ cat << EOT
+
+
`gettext "Boot log files"`
+
+ `gettext "kernel messages"`
+
+$(cat /var/log/dmesg.log)
+
+ `gettext "boot scripts"`
+
+$(sed 's/\[^Gm]*.//g' < /var/log/boot.log)
+
+EOT
+ ;;
*\ daemons\ *)
#
# Everything until user login
@@ -144,6 +161,8 @@