]> matita.cs.unibo.it Git - helm.git/commitdiff
cleancache ==> clean_cache
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Sep 2003 12:57:01 +0000 (12:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Sep 2003 12:57:01 +0000 (12:57 +0000)
helm/http_getter/panel/control.html

index 47f2c14ac467d41ef0aed31f5965961f6f54d405..495c420e78d76382a443183c0427088c9acb2cf9 100644 (file)
@@ -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>