cookutils rev 892

web/cooker.cgi: tiny edits
author Aleksej Bobylev <al.bobylev@gmail.com>
date Fri Mar 17 02:42:26 2017 +0200 (2017-03-17)
parents 080dd0a18d2e
children eff71eaaee4f
files web/cooker.cgi
line diff
     1.1 --- a/web/cooker.cgi	Fri Mar 17 01:20:30 2017 +0200
     1.2 +++ b/web/cooker.cgi	Fri Mar 17 02:42:26 2017 +0200
     1.3 @@ -335,7 +335,7 @@
     1.4  			sed '/^Debug information/,$!d' $log | sed /^$/d | \
     1.5  			if [ -n "$2" ]; then
     1.6  				syntax_highlighter log | \
     1.7 -				sed 's|\([0-9][0-9]*\):|<a href="#n\1">\1</a>:|'
     1.8 +				sed 's|\([0-9][0-9]*\):|<a href="#l\1">\1</a>:|'
     1.9  			else
    1.10  				sed 's|^[0-9][0-9]*:||' | syntax_highlighter log
    1.11  			fi
    1.12 @@ -770,7 +770,7 @@
    1.13  			find $dir -type f | sort | while read i ; do
    1.14  				[ -s $i ] || continue
    1.15  				case "$i" in
    1.16 -					*.jp*g|*.png|*.gif|*.svg) continue
    1.17 +					*.jp*g|*.png|*.gif|*.svg|*.css) continue
    1.18  				esac
    1.19  				i=${i#$dir/}
    1.20  				class=''; [ "$page" == "$i" ] && class=" plum"