test/management.sh

@@ -10,10 +10,13 @@ auditor_pub="A17JXR3E6J4CXDPYT7S1H25PGJ3ABS26TQ38654QCX0TB59RPMF0"
 master_key="./default/master_offline_private_key"
 zero_kudos="KUDOS:0.0"
 
-# TODO launch mte.exe and kill it a then end with its PID
+# dune build src/mte.exe
+# _build/default/src/mte.exe > /dev/null &
+# MTE_PID=$!
 
 offline_tool() {
    dune exec offline -- "$@" > /dev/null
+   sleep 0.2
 }
 
 offline_tool download --output $a --url $url"/management/keys"
@@ -119,3 +122,5 @@ echo "[OK] exchange.demo.taler.net/keys validation"
 offline_tool download --output $a --url $url"/keys"
 dune exec test/validate_response.exe -- keys --input $a
 echo "[OK] /keys validation"
+
+# kill "$MTE_PID"