bibledit-development
[Top][All Lists]
Advanced

[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/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]