Clicking on "edit" makes the Server mark a wiki page as "currently being edited" for a certain time. This timer may be stopped by: - X minutes without any action - a save or cancel request from the edit page - nothing more!
Correct.
This is no big problem in a rarely visited wiki, but a really big problem in a frequented wiki.
Actually, I've found that most of the page lockings occur due to spiders and spambots, not users as such.
My proposal is something like: - making the client have to send a ping from time to time (so that if the page has been closed, the ping isn't sent anymore) - adding onExit, on... handlers signalling a cancel action to the server.
Yes, might be useful. Of course, they will not be reliable, and won't help with spiders and spambots. But something like that could be done.
/Janne
