From 144d54f3215a4abf323a161974b40efffb7878f9 Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Fri, 26 Jan 2024 10:09:16 +0100
Subject: [PATCH] second part of the fix

---
 ostrich-client | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/ostrich-client b/ostrich-client
index 4d5a34c35d..49309e7451 100755
--- 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