Questa e' la soluzione
Codice PHP:
if (! isset($_GET['page']))
$_GET['page']=0;
$per_page = 10;
$_POST['idcasa'] = mysql_query('select idcasa from casa') or die('non riesco a selezionare gli id della cassa');
$tot_records = mysql_num_rows($_POST['idcasa']);
$tot_pages = ceil($tot_records / $per_page);
$current_page = (! isset ($_GET['page'])) ? 1 : (int)$_GET['page'];
$primo = ($current_page - 1) * $per_page;
if (!isset($_SESSION['array_page'])){
$array_id = array();
$output = array();
$_SESSION['array_page'] = array();
//inserisco tutti gli id della query in un array
while($row_idcasa = mysql_fetch_array($_POST['idcasa']))
array_push($array_id,$row_idcasa['idcasa']);
$array_id = random_array($array_id); //randomizzo l'array
//suddivido l'array in gruppi
for($i=0; $i<$tot_pages; $i++){
$output = array_slice($array_id, 0, $per_page); //prelevo i primi $Per_page elementi dalll' array
$array_id = array_slice($array_id,$per_page); //elimino i primi $Per_page elementi dall'array
$str = implode($output,','); //trasformo in stringa l'array in modo che sia compatibile con il formato della query sql
array_push($_SESSION['array_page'],$str); //ricreo un array con i gruppi di id randomizzati
}
}
$ok = $_SESSION['array_page'][$_GET['page']];
PICCOLO PROBLEMA
in locale funziona egregiamente,
quando lo carico sul serve non funziona piu' e al reload di ogni pagina mi da valori casuali