decimale con zero davanti che diventa ottale

[diegozzoRanozzo]

ciao a tutti,
sto creando un piccolo script che riceve da un form un numero intero comprensivo di zeri (es: 000123).
Php me lo trasforma in ottale, ma a me, serve ovviamente decimale. Il numero deve finire dopo gli opportuni filtri nel database e non mi interessa se ci entra come stringa. Solo che se dovessi trattarlo come stringa, non so poi come fare in modo che se è presente un carattere (non numerico), il filtro mi dia errore!
Spero di essere stato chiaro, è tutto il giorno che ci sbatto la testa e non riesco a trovare una soluzione!
come avrete capito sono un pivellino!

grazie a tutti!

diego

[sir daniel]

forse basta usare la funzione is_int() ma non sono sicuro.

oppure c'è ctype_digit() che controlla se la stringa passata contiene solo caratteri numerici, nel caso restituisce true altrimenti false. Però questa non funziona con gli interi.

[diegozzoRanozzo]

ciao
is_int() fa il suo dovere perfettamente e se la variabile è una stringa restituisce false, ma anche un numero ottale lo considera (giustamente) un intero e quindi quando inserisco 010 mi stampa a video 8!

ctype_digit() non l'ho preso in considerazione... stamattina verifico

grazie

[k.b]

<?php
$num = $_POST['num'];
if (! ctype_digit($num)) {
    // errore
}
$num = preg_replace('/^0+/', '', $num);
echo $num;

[diegozzoRanozzo]

perfetto,
non conoscevo la funzione ctype_digit()

sono diventato matto mezza giornata e grazie a voi ho risolto in 10 minuti!
grazie 1000