Closed humpydonkey closed 3 days ago
A series of changes to improve remote sandbox error handling.
RemoteSandboxError
self.interpreter.kill()
A series of changes to improve remote sandbox error handling.
Changes
RemoteSandboxError
exception classes so the client can catch and handle them differently.self.interpreter.kill()
twice.