Interessante questo!

Però il problema è che gli operatori usano il proprio pc indipendentemente l'uno dall'altro.
Controllando i files di sessione che PHP genera sotto la cartella :

\php\sessiondata

sono presente effettivamente le sessioni di ogni utente, il problema però è che all'interno ci sono i stessi dati riguardante la variabile $_SESSION['numero_rnd'], mentre per $_SESSION['operatore'] resta univoca.

Non so se mi sono spiegato...
Purtroppo questo problema a volte si pone anche su altre applicazioni rivolte al pubblico....