Ho risolto facendo in questo modo:


Dentro il ciclo while:

Codice PHP:
if($totalRows_Recordset3=='0') {
//echo $ora_cont; echo "<br/>";
$array_orario[] = array('orario' => $ora_cont);

Fuori dal ciclo while elimino i doppioni
Codice PHP:
$serialized array_map('serialize'$array_orario);
$unique array_unique($serialized);
$uniqueArray_orario array_intersect_key($array_orario$unique);
// re indicizzo
$pre_orario array_values($uniqueArray_orario);

print_r(array_values($pre_orario)); 
Scusa la mia ignoranza, ma è poco che tratto questo linguaggio, ma quando stampo a video i risultati esconno in questo modo

Array ([0] => Array([orario] => 09:30:00)[1] => Array([orario] => 11:00:00)[2] => Array([orario] =>11:30:00)

come devo fare per far stampare a video solo gli orari?

Grazie