let _width=$_cgi_width-230 show_log() { local log=$1 if [ -r "$log" ]; then echo "
' html < "$log" echo '