changeset 1809:03fbdd327f1f

saving the pagelinks after closing html saves some ms for the user
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Sat, 24 Feb 2007 15:56:40 +0100
parents e43e65d90f26
children 21baa15e38ea
files MoinMoin/Page.py
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/MoinMoin/Page.py	Sat Feb 24 15:06:30 2007 +0100
+++ b/MoinMoin/Page.py	Sat Feb 24 15:56:40 2007 +0100
@@ -1167,6 +1167,10 @@
 
             request.write(self.formatter.endDocument())
 
+        request.clock.stop('send_page')
+        if not content_only and self.default_formatter:
+            request.theme.send_closing_html()
+
         # cache the pagelinks
         if do_cache and self.default_formatter and page_exists:
             cache = caching.CacheEntry(request, self, 'pagelinks', scope='item', use_pickle=True)
@@ -1174,10 +1178,6 @@
                 links = self.formatter.pagelinks
                 cache.update(links)
 
-        request.clock.stop('send_page')
-        if not content_only and self.default_formatter:
-            request.theme.send_closing_html()
-
         # restore old formatter (hopefully we dont throw any exception
         # that is catched again)
         if old_formatter is no_formatter: