From 66cb855c0ca0f484e62db4087bac8b802af0b0bc Mon Sep 17 00:00:00 2001
From: axolotle <nchesnais@mailoo.org>
Date: Sun, 22 Oct 2023 17:47:43 +0200
Subject: [PATCH] domain: type fix

---
 src/domain.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/domain.py b/src/domain.py
index 892220a68..7ac8a50cb 100644
--- a/src/domain.py
+++ b/src/domain.py
@@ -753,10 +753,10 @@ class DomainConfigPanel(ConfigPanel):
             # that can be read by the portal API.
             # FIXME remove those from the config panel saved values?
 
-            portal_values = form.dict(include=portal_options)
+            portal_values = form.dict(include=set(portal_options))
 
             portal_settings_path = Path(f"{PORTAL_SETTINGS_DIR}/{self.entity}.json")
-            portal_settings = {"apps": {}}
+            portal_settings: dict[str, Any] = {"apps": {}}
 
             if portal_settings_path.exists():
                 portal_settings.update(read_json(str(portal_settings_path)))