From b6eab69a1557eef55fa343e8201e086bcfa07a33 Mon Sep 17 00:00:00 2001 From: Alhaziel01 Date: Thu, 17 Jun 2021 17:46:46 +0200 Subject: [PATCH] Server Preferiti fix in caso di valori errati --- specials/setting.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/specials/setting.py b/specials/setting.py index f6e312e7..774236a3 100644 --- a/specials/setting.py +++ b/specials/setting.py @@ -310,10 +310,9 @@ def servers_favorites(item): server_names.append(server_list[server]['name']) orden = config.get_setting("favorites_servers_list", server=server, default=999) - - if not orden == None: - if orden > 0: - dict_values[orden] = len(server_names) - 1 + 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,