Improve error on playground timeouts
Kestrer opened this issue · 2 comments
Kestrer commented
Nowadays the playground timeouts fairly often, returning this message:
/playground/tools/entrypoint.sh: line 11: 8 Killed timeout --signal=KILL ${timeout} "$@"
It would be nice if the bot could intercept this and display a more friendly error message like "Playground timed out". Ideally it would also provide a way to retry the request.
kangalio commented
Good idea