Anthony Gégo

On a different port, without the `manage-script-name` option, that should work fine. On a different route that's a bit trickier. Besides, I recall that Windows WebDAV clients send WebDAV requests...

Indeed, my bad, I didn't look through all the config files, you can either set the `SCRIPT_NAME` to an empty string in this case or let the `manage-script-name` option do...

How do you change the file ? Via the web studio, the webdav, or the filesystem ? Do you perform this operation on your local setup or one of UCLouvain...

So If I understand well, the behaviour does not change (actual update or not) according to the method, but rather to the files themselves, or at least in some configuration...

Indeed, the feature has been converted to a plugin for retrocompatibility needs : https://github.com/UCL-INGI/INGInious-problems-custom It had quickly shown its limits in terms of task writing complexity and UI stability (as...

You will never get accurate time measurements whatever the setup is, except if your code is the only thing running on the machine with the exact same initial conditions for...

Indeed, it is designed to return submission-specific generated images to the feedback, for instance, the result of an image processing algorithm designed by the student. The only way to get...

A workaround is to export the dict as a list (using `OrdrerdDict.items()`) and adapt the `studio_load` method for such a data format.