ok, ho trovato quello che cercavo: il session_id(), ero convinto che esistesse ma non sapevo come richiamarlo in php

grazie lo stesso!