我想判断一个$_GET['pid']是否为数字或者没有设置。代码如下:if (!is_numeric($_GET['pid']) || !isset($_GET['pid'])) {
// visit error
header('Location: index.php');
exit();
}可是怎么都有问题。到底是为什么??
// visit error
header('Location: index.php');
exit();
}可是怎么都有问题。到底是为什么??
是这样吗?if (!is_numeric($_GET['pid']) || empty($_GET['pid'])) {
// visit error
header('Location: index.php');
exit();
}但是还是会进header啊,怎么回事呢?
哥默默的低下头,不是哥修养好,而是哥在找砖头!
--------------------------------------------------------
呵呵,你太活跃啦~老看到你了。
if (is_numeric($_GET['pid']) || empty($_GET['pid'])) {
...
} else {
header('Location: index.php');
exit();
}我觉得应该是这样
// visit error
header('Location: index.php');
exit();
}
if (!is_numeric($pid) || !isset($pid)) {
// visit error
header('Location:index.php');
exit();
}