>> Have you looked at using the "max age for lock files" to allow your plugin >> to work? I haven't looked into this at all and don't know what negative >> issues >> it might cause, since this was probably never intended to be set to 0, but >> it may be worth trying it out. > > Thanks for the advice. > > The problem in this case is that, although the pages are in practice > lock free, the Javascript timer still warns that the lock is about to > expire whenever you start editing a page or preview it, which is > somewhat annoying. Hint: a patch that disables locking when the locktime is set to 0 would be welcome. Andi -- splitbrain.org -- DokuWiki mailing list - more info at http://www.dokuwiki.org/mailinglist