Server Preferiti fix in caso di valori errati

2021-06-17 17:46:46 +02:00
parent 45680c8ce4
commit 45f26036a1
1 changed files with 4 additions and 5 deletions
--- a/specials/setting.py
+++ b/specials/setting.py
@@ -309,11 +309,10 @@ def servers_favorites(item):

        server_names.append(server_list[server]['name'])

-        orden = config.get_setting("favorites_servers_list", server=server)
-
-        if not orden == None:
-            if orden > 0:
-                dict_values[orden] = len(server_names) - 1
+        orden = config.get_setting("favorites_servers_list", server=server, default=999)
+        if type(orden) != int: orden = 999
+        if orden > 0:
+            dict_values[orden] = len(server_names) - 1

    for x in range(1, 12):
        control = {'id': x,