changeset 5980:6489ec33874d

do not create empty pagedir (with empty edit-log) - if a user with no write permissions tries creating a new page - if a user with write permissions cancels creating a new page
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Sat, 06 Apr 2013 00:21:51 +0200
parents 810aee12a186
children 3460b27e7f3e
files MoinMoin/theme/__init__.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/MoinMoin/theme/__init__.py	Sun Mar 24 14:58:56 2013 +0100
+++ b/MoinMoin/theme/__init__.py	Sat Apr 06 00:21:51 2013 +0200
@@ -1784,7 +1784,7 @@
 
         # In standard mode, emit theme.header
         else:
-            exists = pagename and page.exists(includeDeleted=True)
+            exists = pagename and page.exists(includeDeleted=False)
             # prepare dict for theme code:
             d = {
                 'theme': self.name,