Tobias Meggendorfer

Are the tweaked details in `judgedaemon.main.php`? I agree that the sandboxing part is really hard and not something I would want to touch unless certain. But if the "frontend" would...

I see. So with all that, what I envision is to be able to have a judgedaemon running (directly on the system or in docker - in my case always...

asyncio etc. make this kinda easy in Python now, too. Not to the extreme scale of GoLang but I would assume that one judgehost hardly has more than 100 things...

Yes, that is a pragmatic solution to the problem. Something like a python script that is able to shove a submission into a docker container that has judgedaemon. That should...