window.location.href = '/';"); } else { $_SESSION["username"] = $用户名; die(""); } } else { $_SESSION["username"] = $用户名; die(""); } } else { die(""); }