Hi there, I didn't have a look at the code, so I'm assuming a few things here. I guess the status quo in page editing is as follows:
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! Now, web surfers don't care about technological issues and are lazy, so in the majority of cases the user would simply close the edit page or use a go back function of his web browser, if he changed his mind and didn't want to edit the page anymore. The problem arising is that on the server side, the page is still marked as being edited for a potentially long time. In the meantime, other users can't really edit the page because they're being warned that someone else is editing it, although this may not be true anymore. This is no big problem in a rarely visited wiki, but a really big problem in a frequented wiki. 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. regards, Florian
