From 1d2b8fb7c08ad5db4c32ee59a7e5d0f4605728bf Mon Sep 17 00:00:00 2001
From: Bryan Biedenkapp <gatekeep@gmail.com>
Date: Wed, 27 Apr 2022 15:32:28 -0400
Subject: [PATCH] whoops didn't update the PID when restarting dvmhost with the
 scripts;

---
 dvm-watchdog.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dvm-watchdog.sh b/dvm-watchdog.sh
index 5c798336..cc87fcc0 100644
--- a/dvm-watchdog.sh
+++ b/dvm-watchdog.sh
@@ -20,6 +20,7 @@ while [ true ]; do
         if [ $ERRNO -ne 0 ]; then
             logger "dvmhost start-dvm.sh script failed to start; errno ${ERRNO}"
         fi
+        PID=`cat $PID_FILE`
     fi
     sleep 5s
 done