* do_login.php: added.