# HG changeset patch # User Christophe Lincoln # Date 1331992713 -3600 # Node ID 516a5e17e296bb256fbff80b41fb0d6c76bdbea1 # Parent 55847a3fa2878443b380acd09d9189f834264ae5 cookiso.cgi: show ISO size on top page diff -r 55847a3fa287 -r 516a5e17e296 web/cookiso.cgi --- a/web/cookiso.cgi Sat Mar 17 14:55:28 2012 +0100 +++ b/web/cookiso.cgi Sat Mar 17 14:58:33 2012 +0100 @@ -87,6 +87,7 @@ echo "

Description: $SHORT_DESC

" echo '

Cookiso log

' echo '
'
+		fgrep "ISO image size" $log
 		cat $log | syntax_highlighter log
 		echo '
' ;; *)