[parere-PHP]Metodo corretto per la paginazione in file di testo

[Leo91]

Salve.

Ho appena finito di scrivere un pò di codice PHP sulla paginazione di dati in file di testo.

Il problema è stato soprattutto nel trovare il numero di pagine, e alla fine mi sono ritrovato così:

$file = file("dati/file.txt"); //è il file
rsort($file); //i risultati sono ordinati in base alla data, dal più vecchio al più nuovo (come nel forum)
$conta = count($file); //count del file
$x_pag = 5; //ris per pagina
$pagine = $conta/$x_pag; //dovrebbe calcolare il num delle pagine. 

I problemi sono due:
in questo modo può venire fuori un numero non intero (1,25....), ma a questo avevo ovviato con un preg_replace
il secondo problema è che le pagine non vengono calcolate bene

Se ho 12 risultati, e li divido per 5, vengono fuori 2 pagine, mentre dovrebbero essere 3.

Il succo del topic viene fuori qui:
io ho ovviato con un ciclo WHILE

while(ereg("[\.]+",$pagine)) {
$conta++; //count del file
$pagine = $conta/$x_pag; //calcolo delle pagine
} 

E funziona!
Solo che mi chiedevo: non esiste un calcolo meno laborioso? Forse sarà ridicolo, ma non c'arrivo

Grazie dell'attenzione!

$pagine = ceil($conta/$x_pag);

Arrotonda per eccesso ;)


Ciaooo!!!!!

[Leo91]

$pagine = ceil($conta/$x_pag);

Arrotonda per eccesso ;)


Ciaooo!!!!!

Era proprio ciò che cercavo!!

Grazie 100000000 e...

Ciaoooo!!!

oppure

$pagine = intval(($totalerisultati-1) / $pagine)+1;

oppure

$pagine = intval(($totalerisultati-1) / $pagine)+1;

Non mi pare la funzione migliore per questa situazione ;)


Ciao!