|
# **********************************************************
# リダイレクト
# **********************************************************
function Redirect( $Target ) {
header( "Location: $Target" );
}
# **********************************************************
# JavaScript によるサーバー処理後単純リダイレクト
# **********************************************************
function redirect( $url, $msgno="", $target="window" ) {
$str='';
$str.="<script type=\"text/javascript\"> ";
$str.="\n $target.location = \"$url?msgno=$msgno\"; ";
$str.="\n</script> \n ";
print $str;
}
# **********************************************************
# JavaScript によるリロード保証リダイレクト
# **********************************************************
function redirect( $url, $msgno="", $target="window" ) {
$dt = date("YmdHis");
$str='';
$str.="<script type=\"text/javascript\"> ";
$str.="\n $target.location = \"$url?msgno=$msgno&reload=$dt\"; ";
$str.="\n</script> \n ";
print $str;
}
| |