Convertire intero

[Deorum]

Salve... ho un problema, ho provato di tutto e cercato ovunque, so che è una cosa semplice ma non ne vengo a capo...

Io leggo un valore da un file di test (txt) e lo memorizzo in una variabile, il valore è così formattato: 21:09:34 (quindi di tipo TIME).
Ora... a me serve solo l'ora, quindi con un substr() ottengo le prime due cifre...

Tutto va bene tranne per le ore con lo 0 davanti, quindi 01, 02...09.
Infatti se faccio un substr di 09 ottengo 0 invece di 09...

Ora, ho provato a convertirlo in intero con tutti i modo possibile ma non funziona in nessun caso.

Ammettiamo quindi di avere una situazione così:

$a = 0800;
$b = substr($a,0,2);

Come posso estrarre 08 da $a?

Grazie infinite...

[filippo.toso]

<?php 
$string = '21:09:34';
$hour = (int)(substr($string, 0, 2));
var_dump($hour);
?>

[elmapomapo]

$var = "21:09:34 ";
$var = explode(":", $var);
echo $var[0]; 

Soluzione barbara ma efficace.

[Deorum]

Argh non ci avevo pensato!

Adesso lo provo, grazie mille