(self, execution_id, user)
| 75 | self._executors[execution_id].stop() |
| 76 | |
| 77 | def kill_script(self, execution_id, user): |
| 78 | self.validate_execution_id(execution_id, user) |
| 79 | |
| 80 | if execution_id in self._executors: |
| 81 | self._executors[execution_id].kill() |
| 82 | |
| 83 | def kill_script_by_system(self, execution_id): |
| 84 | if execution_id in self._executors: |