想做一个session的过期方法
HttpSession session = request.getSession();
if(session.getAttribute("userInfo")==null){
//弹出提示session过期 页面停留三秒钟 跳转到登陆页面
}
想在这里写一个页面停留三秒钟的小程序
该如何写

//下面这个方法的意思是：在三秒以后会调用函数getJson 执行里面包含的脚本
setTimeout(getJson,3000);