Better logging on webstandard job errors on CI.

Author: meisterT

.github/jobs/webstandard.sh

@@ -64,6 +64,11 @@ wget \
     http://localhost/domjudge/"$URL"
 set -e
 RET=$?
+if [ $RET -ne 0 ]; then
+	section_end
+	section_start "Server log"
+	tail -n1000 /opt/domjude/domserver/webapp/var/log/prod.log
+fi
 section_end
 
 section_start "Archive downloaded site"