?php / / imposta il nome di sessione a WebsiteID $previous_name = session_name( "WebsiteID"); echo "Il precedente nome di sessione è $previous_name p ";? ###>See also the session.name configuration directive.