X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fpanel%2Fcontrol.html;h=47f2c14ac467d41ef0aed31f5965961f6f54d405;hb=b25d974b6feb403cb551e0cb9776267f2d46ce7e;hp=60c60ebedf441d0614c3617c0e046f6193959bd7;hpb=6b49a454bb263417ad7f73eeb5bc4d24759d543a;p=helm.git

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>