替换if(isset($_GET[';page';]))和header(';Location:'


Substitute for if(isset($_GET['page'])) and header('Location:'.$url); in PHP for JSP

请帮助我将以下PHP代码转换为JSP

<?php
$url = $_REQUEST['url'];
if(isset($_GET['page']))
{
    if( $_GET['page'] == '' )
    {
        header('Location:'.$url);
    }
    else
    {
        $_REQUEST['page'] = $_REQUEST['page'];
        header('Location: '.$url.'?page=#'.$_REQUEST['page']);
    }
}
?>

我无法在PHP中找到Isset函数的替代品,也无法在JSP 中找到用于重定向的PHP中的头位置标记

我不擅长JSP。。我试过的任何方法。也许这就是你想要的东西:

<%
String url, page;
url = request.getParameter("url");
page = request.getParameter("page");
if(page)
{
    if( page == '' )
    {
        response.sendRedirect(url);
    }
    else
    {
        response.sendRedirect(url + "?page=#"+page));
    }
}
%>