estrazione numeri casuali

[emilio81]

Ciao a tutti

ho un problema, devo estrarre 3 numeri casuali che prendo da un array, il problema sta che il ciclo dura all'infinito, evidentemente sbaglio qualcosa...

posto il codice:

  $numbers = array(1,2,3,4,5,6,7,8,9,10);
  $estratti = array();
    

    while (count($estratti) <= 3) {
    
          $nuovo = array_rand($numbers);
                    
          $estratti[] = $numbers[$nuovo];
          
          unset($numbers[$nuovo]);
          
    } 

cosa sbaglio??

[Roman Fedorov]

Ciao emilio,
Sul mio server il tuo codice funziona perfettamente
PHP Version 5.2.10

[emilio81]

hai ragione..mi si era impallato a me il pc.



Grazie comunque