Patches item #3581072, was opened at 2012-10-27 08:35
Message generated for change (Comment added) made by strainu
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=603140&aid=358107…
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Andrei Cipu (strainu)
Assigned to: Nobody/Anonymous (nobody)
Summary: Force retrieval of last edit time
Initial Comment:
This patch changes the Page.editTime function in order to allow the user to request a
valid editTime even if the page has not yet been fetched. The API call used is
theoretically much lighter than retrieving the whole page. The default behavior remains
unchanged.
----------------------------------------------------------------------
Comment By: Andrei Cipu (strainu)
Date:
2012-10-27 08:45
Message:
As a performance optimization, line 1256 could read
if force and not self._editTime:
However, I wrote the patch without checking if the editTime has been
fetched because "force" should imply that the value is updated
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=603140&aid=358107…