Merge pull request plugdata-team#1791 from plugdata-team/develop

Fix plugin shutdown bug
Wasted-Audio · Aug 10, 2024 · ab8db68 · ab8db68
2 parents e213743 + f4a2f08
commit ab8db68
Showing 1 changed file with 26 additions and 12 deletions.
diff --git a/Source/Sidebar/DocumentationBrowser.h b/Source/Sidebar/DocumentationBrowser.h
@@ -99,6 +99,7 @@ class DocumentationBrowserUpdateThread : public Thread
 
     ~DocumentationBrowserUpdateThread()
     {
+
         instance = nullptr;
         stopThread(-1);
     }
@@ -202,20 +203,33 @@ class DocumentationBrowserUpdateThread : public Thread
         }
     }
 
-    void run() override
-    {
-        try
-        {
-            fileTreeLock.enter();
-            fileTree = generateDirectoryValueTree(File(SettingsFile::getInstance()->getProperty<String>("browser_path")));
-            fileTreeLock.exit();
-            sendChangeMessage();
-        }
-        catch(...)
+        void run() override
         {
-            std::cerr << "Failed to update documentation browser" << std::endl;
+            try
+            {
+                int const maxRetries = 50;
+                int retries = 0;
+
+                while (retries < maxRetries) {
+                    if (threadShouldExit())
+                        break;
+                    if (fileTreeLock.tryEnter()) {
+                        fileTree = generateDirectoryValueTree(File(SettingsFile::getInstance()->getProperty<String>("browser_path")));
+                        fileTreeLock.exit();
+                        break;
+                    }
+                    retries++;
+                    Time::waitForMillisecondCounter(Time::getMillisecondCounter() + 100);
+                }
+
+
+                sendChangeMessage();
+            }
+            catch(...)
+            {
+                std::cerr << "Failed to update documentation browser" << std::endl;
+            }
         }
-    }
 
     void filesystemChanged() override
     {