upd: convert to PostgreSQL

[gigi.git] / util-testing / org / cacert / gigi / DevelLauncher.java

diff --git a/util-testing/org/cacert/gigi/DevelLauncher.java b/util-testing/org/cacert/gigi/DevelLauncher.java
index e161b11d60c6a32c2778e13e16e7c79e8117d09d..9fab71c9cfc784d8cf80a5e2b2a5c8a8745478a7 100644 (file)
--- a/util-testing/org/cacert/gigi/DevelLauncher.java
+++ b/util-testing/org/cacert/gigi/DevelLauncher.java
@@ -168,6 +168,11 @@ public class DevelLauncher {
 
             Template t = new Template(DevelLauncher.class.getResource("DevelTicketWait.templ"));
 
+            @Override
+            public boolean needsLogin() {
+                return false;
+            }
+
             @Override
             public void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException {
                 resp.setHeader("content-security-policy", "");
@@ -183,6 +188,11 @@ public class DevelLauncher {
                 if ( !ticketUsed) {
                     HttpSession sess = req.getSession();
                     User user = User.getById(1);
+                    if (user == null) {
+                        resp.getWriter().println("ticket consumed but no user available for that action");
+                        ticketUsed = true;
+                        return true;
+                    }
                     sess.setAttribute(LOGGEDIN, true);
                     sess.setAttribute(Language.SESSION_ATTRIB_NAME, user.getPreferredLocale());
                     sess.setAttribute(USER, user);