# HG changeset patch # User Pascal Bellard # Date 1447414809 -3600 # Node ID 4f3c63c1e03c0aca4452efa079c5fde7e1221a74 # Parent 79b706ec6fdee70d4945e83097ec9170b051ceaf cooker.cgi: add recook button (again) diff -r 79b706ec6fde -r 4f3c63c1e03c web/cooker.cgi --- a/web/cooker.cgi Fri Nov 13 12:33:57 2015 +0100 +++ b/web/cooker.cgi Fri Nov 13 12:40:09 2015 +0100 @@ -251,11 +251,11 @@ syntax_highlighter log echo '' fi - echo "Recook" echo '

Cook log

' echo '
'
 			cat $log | syntax_highlighter log
 			echo '
' + echo "Recook $pkg" else [ "$pkg" ] && echo "
No log: $pkg
" fi ;;