From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 19 Sep 2003 12:57:01 +0000 (+0000)
Subject: cleancache ==> clean_cache
X-Git-Tag: V_0_4_3_4~22
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=17169e1bf3235fa757ef4ee2f5e338b3ca37c129

cleancache ==> clean_cache
---

diff --git a/helm/http_getter/panel/control.html b/helm/http_getter/panel/control.html
index 47f2c14ac..495c420e7 100644
--- a/helm/http_getter/panel/control.html
+++ b/helm/http_getter/panel/control.html
@@ -73,7 +73,7 @@ If you have troubles, please send an email to the author:
     <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')"/>
+        <input type="button" value="Clean" onClick="top.result.location.replace(getGetterURL() + 'clean_cache')"/>
       </form>
     </td>
   </tr>