Restart Virtuoso after DBpedia graph normalization

scripts/hf_space_boot.sh

@@ -6,11 +6,11 @@ export PYTHONPATH=/app:${PYTHONPATH:-}
 
 export CORPORATE_GRAPH_URI="${CORPORATE_GRAPH_URI:-http://ld.company.org/prod}"
 export PORT="${PORT:-7860}"
+export VIRTUOSO_RUNTIME_DIR="${VIRTUOSO_RUNTIME_DIR:-/tmp/virtuoso_runtime}"
 
 bash scripts/hf_restore_db_snapshot.sh
 bash scripts/hf_prepare_virtuoso_ini.sh
 bash scripts/hf_start_virtuoso.sh
-bash scripts/hf_load_corporate_graph.sh
 
 GRAPH_PROBE_RESPONSE="$(
   curl -fsG \
@@ -52,6 +52,7 @@ if [[ -z "${DBPEDIA_GRAPH_URI}" ]]; then
   exit 1
 fi
 
+NORMALIZED_DBPEDIA_GRAPH=0
 if [[ "${DBPEDIA_GRAPH_URI}" != "http://dbpedia.org" ]]; then
   ISQL_BIN="$(command -v isql-vt || true)"
   if [[ -z "$ISQL_BIN" ]]; then
@@ -71,6 +72,7 @@ if [[ "${DBPEDIA_GRAPH_URI}" != "http://dbpedia.org" ]]; then
       | "$ISQL_BIN" 1111 dba dba >/tmp/hf_normalize_dbpedia_graph.log 2>&1
   fi
 
+  NORMALIZED_DBPEDIA_GRAPH=1
   DBPEDIA_GRAPH_URI="http://dbpedia.org"
 fi
 
@@ -80,4 +82,21 @@ export CORPORATE_ENDPOINT_URL="http://127.0.0.1:8890/sparql?default-graph-uri=ht
 
 echo "Detected DBpedia graph URI: ${DBPEDIA_GRAPH_URI}"
 
+if [[ "$NORMALIZED_DBPEDIA_GRAPH" == "1" ]]; then
+  if [[ -f "${VIRTUOSO_RUNTIME_DIR}/virtuoso.pid" ]]; then
+    VIRT_PID="$(cat "${VIRTUOSO_RUNTIME_DIR}/virtuoso.pid")"
+    echo "Restarting Virtuoso after DBpedia graph normalization ..."
+    kill "$VIRT_PID"
+    for _ in $(seq 1 30); do
+      if ! kill -0 "$VIRT_PID" 2>/dev/null; then
+        break
+      fi
+      sleep 1
+    done
+  fi
+  bash scripts/hf_start_virtuoso.sh
+fi
+
+bash scripts/hf_load_corporate_graph.sh
+
 exec uvicorn service.app:app --host 0.0.0.0 --port "$PORT"