Bugfix: correctly update arena tracker HUD for spectators quitting

src/deps/arena_lib.lua

@@ -77,7 +77,10 @@ arena_lib.register_on_quit(function(mg, arena, p_name, is_spectator, reason)
     hub_manager.HUD_arstatus_show(p_name)
   end
 
-  if is_spectator then return end
+  -- inizialmente finivo qua se erano spettatori (perché non modificano i numeri
+  -- della partita), ma così facendo non aggiornerebbe l'HUD dello spettatore.
+  -- Piuttosto che mettere un ulteriore parametro alla funzione di aggiornamento,
+  -- la aggiorno a tutti (che tanto è leggera) e amen
 
   local slot_ID = hub_manager.get_arenastatus_slot(mg.name, arena.name)