// 防刷新处理
$query = ($_SERVER['QUERY_STRING']) ? "?".$_SERVER['QUERY_STRING'] : "";
$url = "http://".$_SERVER['SERVER_NAME'].$_SERVER['SERVER_PORT'].$_SERVER['PHP_SELF'].$query."";
if (time()-$_COOKIE['vitistime'] < $fuck_time) {
//selectGlobal();
message("刷新页面不能快于 ".$fuck_time." 秒", $url);
}
$posttime=time();
setcookie("vitistime",$posttime);
// 防刷新处理结束

$url = "http://".$_SERVER['SERVER_NAME'].$_SERVER['SERVER_PORT'].$_SERVER['PHP_SELF'].$query."";

这句。、我加上了 服务器端口判断。
但不是 http://localhost:1010/
而是 http://localhost1010/

怎么解决呢？