diff jabberbot/xmlrpcbot.py @ 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 6f06c7d051a4
children afc6264a134f
line wrap: on
line diff