[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[be] [task #8458] BE tool to clear the html cache
From: |
Wolfgang Stradner |
Subject: |
[be] [task #8458] BE tool to clear the html cache |
Date: |
Tue, 05 Aug 2008 13:26:34 +0000 |
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6 |
URL:
<http://savannah.nongnu.org/task/?8458>
Summary: BE tool to clear the html cache
Project: Bibledit
Submitted by: ewst
Submitted on: Tuesday 05/08/08 at 13:26
Should Start On: Tuesday 05/08/08 at 00:00
Should be Finished on: Tuesday 05/08/08 at 00:00
Priority: 5 - Normal
Status: None
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
Bibledit has a htmlcache, into which a file once loaded is kept forever, so
if the original file gets changed, but the name remains the same, bibledit
will never retrieve the original file again, but instead will get it from the
htmlcache.
One solution is to empty ~/.bibledit/htmlcache by hand.
As this is a bit combersome.
- > provide a tool to clear the html cache from the program.
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/task/?8458>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [be] [task #8458] BE tool to clear the html cache,
Wolfgang Stradner <=