launch fail on non-default port on mars

fail.just

@@ -61,7 +61,14 @@ import module:
 [doc("Start the FAIL* campaign server")]
 [group("fail")]
 server module:
-    {{ FAIL_SERVER }} --database-option-file ./db.conf -v {{ module }} -b % --inject-single-bit --inject-registers &
+    {{ FAIL_SERVER }} \
+        --port {{FAIL_SERVER_PORT}} \
+        --database-option-file ./db.conf \
+        -v {{ module }} \
+        -b % \
+        --inject-single-bit \
+        --inject-registers \
+        &
     @echo "Next step: \"just client {{ module }}\""
 
 [doc("Stop the FAIL* campaign server")]
@@ -80,6 +87,7 @@ client module:
         -i {{ BUILD_DIR }}-{{ module }}/system.iso \
         -j {{ num_cpus() }} \
         -- \
+        -Wf,--server-port={{FAIL_SERVER_PORT}} \
         -Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \
         -Wf,--trap \
         -Wf,--timeout=500000 \
@@ -104,4 +112,4 @@ result module:
 [doc("Start the FAIL* resultbrowser")]
 [group("fail")]
 resultbrowser:
-    {{ RESULT_BROWSER }} -c ./db.conf --host=0.0.0.0 --port=5000
+    {{ RESULT_BROWSER }} -c ./db.conf --host=0.0.0.0 --port={{RESULTBROWSER_PORT}}