Wrong filename passed to ws exec when asking to run a file about codeocean

[MrSerth]

We've changed the implementation of running files some time ago. By now, a project can contain multiple different file roles, that are handled specifically. In more detail:

• A main file is run as a default
• An executable file can be triggered by learners through the Run button
• A test file (if visible) changes the button to Test and solely executes that test (running it with the test command)
• A linter file (if visible) behaves similar to a test file (action is Test)
• A user-defined test features a Test action rather than run, too
• A user-defined file can be Run
• A reference file and a regular file currently have no run action associated (No action is displayed)
• A renderable file (a property of a file type, not a file role, e.g., HTML files) have an action called Render opening the rendered version of the file in a new tab.

That having said, I am confident that the issue has been resolved already and can be closed.