Executing a changed read-only file, doesn't throw permission denied

When executing a file with the execute button, normally the file is first saved and then executed.
If the file is read-only, it cannot be saved and the ensuing execution is hence done with the unchanged file.
A permission denied error should be thrown before the execution.

See following feedback:

Anonymous feedback:

Wenn man ein Read-only file bearbeitet und Ausführt, wird keine Warnung ausgegeben, dass Änderungen natürlich nicht ausgeführt werden.
Browser: Firefox 53 (53.0)
Engine: Gecko (53.0)
OS: Ubuntu (undefined)

_
VISPA-devel mailing list
VISPA-devel@lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/vispa-devel

(from redmine: issue id 2455, created on 2017-05-08 by florian.von.cube)