From bdadc7723569dbe964d0fb546e761175c4e97dfa Mon Sep 17 00:00:00 2001
From: Yogesh Mahajan <yogesh.mahajan@enterprisedb.com>
Date: Wed, 12 Jun 2024 12:07:28 +0530
Subject: [PATCH] Ensure preferences can be loaded using preferences.json.
 #7516

---
 web/setup.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/web/setup.py b/web/setup.py
index b7234daec..5479ad210 100644
--- a/web/setup.py
+++ b/web/setup.py
@@ -496,6 +496,8 @@ class ManagePreferences:
                   sqlite_path: Optional[str] = None,
                   ):
         """Set User preferences."""
+        if not pref_options:
+            pref_options = []
 
         if input_file:
             from urllib.parse import unquote