fix judger_login.php