Merge branch 'master' of github.com:cgtuebingen/infomark

Author: PatWie

dockerimages/unittests/java/run.sh

@@ -10,7 +10,7 @@ TEST_FILE="$DATA_DIR/unittest.zip"
 
 # unpack submission
 cd ${HOME_DIR}/java/src
-unzip ${SUBMISSION_FILE}
+unzip -o ${SUBMISSION_FILE} || true
 
 # consider the existance of a __unittest folder as attack!
 lines=$(find ${HOME_DIR}/java/src/ -type d -name "__unittest" | wc -l)
@@ -33,7 +33,7 @@ find ${HOME_DIR}/java/src/ -name "module-info.java" -type f -delete
 
 # unzip tests
 cd ${HOME_DIR}/java
-unzip ${TEST_FILE} >/dev/null 2>&1
+unzip -o ${TEST_FILE} >/dev/null 2>&1
 chmod -R 555 ${HOME_DIR}/java/src/__unittest
 
 # run unit tests

dockerimages/unittests/java/setup/junit_xml_report_translator.py

@@ -81,7 +81,7 @@ def main():
     markdown = ""
     for r in reports:
         report = ErrorReport(r)
-    markdown += report.GetMarkdown()
+        markdown += report.GetMarkdown()
 
     # TODO PREAMBLE
     # print("--- BEGIN --- INFOMARK -- WORKER")

docs/themes/infomark.org/layouts/partials/header.html

@@ -13,7 +13,7 @@
         <a class="nav-link" href="/">Start</a>
       </li>
       <li class="nav-item dropdown">
-        <a class="nav-link dropdown-toggle" href="http://example.com" id="dropdown01" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">Documentation</a>
+        <a class="nav-link dropdown-toggle" href="#" id="dropdown01" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">Documentation</a>
         <div class="dropdown-menu" aria-labelledby="dropdown01">
           <a class="dropdown-item" href="/guides/overview/">Overview</a>
           <a class="dropdown-item" href="/guides/administrator/">Administrator's Guide</a>