second part of the fix

uuverifiers · Jan 26, 2024 · 144d54f · 144d54f
1 parent 0130775
commit 144d54f
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/ostrich-client b/ostrich-client
@@ -56,6 +56,11 @@ startDaemon() {
 
         mv "$tempportfile" "$portfile"
         rm "$lockfile"
+
+        # Make sure that the daemon knows about the string portfolios; for
+        # this, we have to start solving some initial string problem
+
+        $BASEDIR/ostrich-client -timeout=0 $BASEDIR/tests/1234.corecstrs.readable.smt2 >/dev/null
     fi
 }
 
@@ -70,9 +75,9 @@ if [ ! -f "$portfile" ]; then
     startDaemon
 fi
 
- mainProcess=$$
+mainProcess=$$
 
- outputlogfile=`mktemp`
+outputlogfile=`mktemp`
 
 success=1
 until [ $success -eq 0 ]; do