Ctrl + S does not work in webdemo

[BinderDavid]

If you try to "save" a file with Ctrl + S in the webdemo, then the following error is shown in the debug console:

Failed to save 'demo.pol': Unable to write file '/examples/demo.pol' (Error: File Modified Since)

[timsueberkrueb]

What would be the expected outcome of Ctrl + S in the web demo? Also note that this behavior depends on the OS and browser. On my Ubuntu setup with Firefox, the browser captures Ctrl + S as the shortcut for saving the webpage.

[BinderDavid]

Probably nothing. But if I understand the semantics of webdev correctly, then any bug which appears in the developer console is a bug in the code, no?

[timsueberkrueb]

I don't feel strongly about this one, the most we can do is get rid of this error message. Which browser/OS do you see this on? I cannot reproduce it on my system.