X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fpanel%2Fcontrol.html;h=495c420e78d76382a443183c0427088c9acb2cf9;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=60c60ebedf441d0614c3617c0e046f6193959bd7;hpb=7be4608a6c5c35745e855f58b8e082a16adeb7b8;p=helm.git

diff --git a/helm/http_getter/panel/control.html b/helm/http_getter/panel/control.html
index 60c60ebed..495c420e7 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() + 'clean_cache')"/>
+      </form>
+    </td>
+  </tr>
   <tr>
     <td>
       <form>