fixup! add: more intelligent ticket waiting

diff --git a/util-testing/org/cacert/gigi/DevelLauncher.java b/util-testing/org/cacert/gigi/DevelLauncher.java
index e161b11d60c6a32c2778e13e16e7c79e8117d09d..4137aa5d5427e9c362b7effb5239caa86aeeab65 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", "");