no, non l'ho postato anche perché non va, come dicevo, comunque ho provato con:

echo $_SESSION['basic_is_logged_in'];
che mi ritorna valore 1

e anche con

echo $_SESSION['txtUserId'];
che non mi ritorna nessun valore