From bf9778123252f35b48b299defbee4445c4bf5eca Mon Sep 17 00:00:00 2001
From: Marc-Andre Ferland <madrang@gmail.com>
Date: Sat, 29 Oct 2022 18:57:31 -0400
Subject: [PATCH] Don't let users register the same device twice.

---
 ui/server.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ui/server.py b/ui/server.py
index 7fcd96bd..ecc96f57 100644
--- a/ui/server.py
+++ b/ui/server.py
@@ -403,6 +403,9 @@ if 'render_devices' in config:  # Start a new thread for each device.
     if not isinstance(config['render_devices'], list):
         raise Exception('Invalid render_devices value in config.')
     for device in config['render_devices']:
+        if task_manager.is_alive(device):
+            print(device, 'already registered.')
+            continue
         if not task_manager.start_render_thread(device):
             print(device, 'failed to start.')
     if task_manager.is_alive() <= 0: # No running devices, probably invalid user config.