changeset 4701:d8049de69c4f

release edit lock if someone saves an unchanged page
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Sat, 18 Apr 2009 21:08:35 +0200
parents 269a1fbc3ed7
children 34f0fe3ff120 2a55ba43afb3
files MoinMoin/PageEditor.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/MoinMoin/PageEditor.py	Sat Apr 18 19:09:16 2009 +0200
+++ b/MoinMoin/PageEditor.py	Sat Apr 18 21:08:35 2009 +0200
@@ -1081,6 +1081,7 @@
             raise self.EditConflict, msg
         elif newtext == self.get_raw_body():
             msg = _('You did not change the page content, not saved!')
+            self.lock.release()
             raise self.Unchanged, msg
         else:
             from MoinMoin.security import parseACL