Always use full file path for CodeOceanEditor.active_file
Always use full file path for CodeOceanEditor.active_file
openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean