From b25d974b6feb403cb551e0cb9776267f2d46ce7e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 19 Sep 2003 12:44:51 +0000
Subject: [PATCH 1/1] Clean cache method added.

---
 helm/http_getter/panel/control.html | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/helm/http_getter/panel/control.html b/helm/http_getter/panel/control.html
index 60c60ebed..47f2c14ac 100644
--- a/helm/http_getter/panel/control.html
+++ b/helm/http_getter/panel/control.html
@@ -69,6 +69,14 @@ If you have troubles, please send an email to the author:
       </form>
     </td>
   </tr>
+  <tr>
+    <td>
+      <form>
+        <b>Clean cache</b> (must be done every time a file is modified)<br />
+        <input type="button" value="Clean" onClick="top.result.location.replace(getGetterURL() + 'cleancache')"/>
+      </form>
+    </td>
+  </tr>
   <tr>
     <td>
       <form>
-- 
2.39.2