This repository has been archived by the owner on Aug 3, 2020. It is now read-only.

Delete lock file #10

Open

ghost opened this issue Jan 17, 2015 · 0 comments

ghost commented Jan 17, 2015

When deleting a page, it leaves the lock file behind. This patch solves it:

--- action.php~ 2015-01-17 21:50:36.000000000 +0100
+++ action.php  2015-01-17 21:50:05.000000000 +0100
@@ -195,6 +195,7 @@
         io_sweepNS($id, 'datadir');
         io_sweepNS($id, 'metadir');
         io_sweepNS($id, 'olddir');
+        unlink(wikiLockFN($id));
         // send notify mails
         notify($id,'admin',$old,$summary);
         notify($id,'subscribers',$old,$summary);

Hope it helps.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.