Summary: Remove suggestion
< Couldn't the unlock operation be written as a shell script and cron job?
< I've known of related bugs in PHP Web environments. The fix was to actually restart the Apache Web server to avoid hiccups related to MySQL connections. It was a hack, but it kept things running until the bug was found. -- AaronHawley
< I'm hope that the crashes will tell us something about the problem; that's why I'd rather know about them.
< -- AlexSchroeder
When editing a page or running maintenance, the wiki will create locks. If it then crashes due to a bug, the lock will be left behind. The symptoms are:
How to proceed: