X-Git-Url: https://code.wpia.club/?p=gigi.git;a=blobdiff_plain;f=src%2Forg%2Fcacert%2Fgigi%2FGigi.java;h=632757d7691a95c7530e11fa80dc61912d79f195;hp=3f0cb7980fea7bd20dbc2805ca680838996ff368;hb=7c25e3d3b44f27fb3f7016432187d3a52db8083b;hpb=99ef9ee7f8d4a2332e4f08c7a0b23cc84966f555

diff --git a/src/org/cacert/gigi/Gigi.java b/src/org/cacert/gigi/Gigi.java
index 3f0cb798..632757d7 100644
--- a/src/org/cacert/gigi/Gigi.java
+++ b/src/org/cacert/gigi/Gigi.java
@@ -289,4 +289,8 @@ public class Gigi extends HttpServlet {
         return instance.reveresePages.get(p).replaceFirst("/?\\*$", "");
     }
 
+    public static void notifyPinger() {
+        instance.pinger.interrupt();
+    }
+
 }