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)