Infatti, in locale avevo usato $HTTP_SESSION_VARS, mentre l'ho modificato in fase di pubblicazione con $_SESSION. Ma il problema era proprio quello intuito da Piero.Mac e a cui ero arrivato da solo: mi resta tuttavia misterioso come mai in locale funzionasse...

Come regola riassuntiva, la variabile dev'essere:
$_SESSION["qui una stringa"][1], quindi $_SESSION["$var1"][$var2], cioè se prevedo una stringa devo mettere le virgolette alla variabile, mentre se prevedo un numero no. Giusto?

_YD