Hallo PHP-Neuling,
das $_GET Array enthält immer Strings.
is_int(123)
liefert TRUE, aber is_int("123")
liefert FALSE.
Manche Dinge kann man ganz einfach im Sandkasten ausprobieren - ok, $_GET hast Du dort nicht.
Für deinen Zweck gibt es bessere Funktionen (-> Handbuch)
$ID1 = filter_input(INPUT_GET, 'ID', FILTER_VALIDATE_INT);
if ($ID1 === FALSE)
$ID1 = 6;
Das dreifach-Gleich ist wichtig, es verbietet PHP Typanpassungen. Andernfalls würde ID=0 im Query-String ebenfalls auf 6 umgebogen.
Rolf
--
sumpsi - posui - obstruxi
sumpsi - posui - obstruxi