problema get e funzione is_int

[marcio_hack]

Originariamente inviato da marketto
cambia is_int in is_numeric:

if (isset($_GET['f'])) {
	if (!is_numeric($_GET['f'])) {
		die("no!");
	}
}

ok funziona,ma io avevo bisogno di riconoscere valori _interi_ non numerici (tipo 1.2) e poi che senso ha che non funzioni?La sintassi è corretta ! Bug della funzione