login: preserve input value after failure

diff --git a/login.inc.php b/login.inc.php
index 69607dfb897a42edb92814d8930365cab01514c7..2809478cc212300ae95e7edf5c713e2eedab0c9b 100644 (file)
--- a/login.inc.php
+++ b/login.inc.php
@@ -6,7 +6,9 @@ if (isset($message)) {
 }
 ?>
 <form action="" method="post">
-       <input id="login" name="login" placeholder="Huisnummer" />
+       <input id="login" name="login" placeholder="Huisnummer" value="<?php
+               if (isset($_REQUEST['login'])) print htmlspecialchars($_REQUEST['login']);
+       ?>" />
        <input id="pass" name="pass" type="password" value="" placeholder="Wachtwoord" />
        <input type="submit" value="Log in" />
 </form>