diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-07-30 13:11:38 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-08-03 11:33:44 +0200 |
| commit | fab42945e8e5a1e9a8296f5e4bcbe476a6a5bbd6 (patch) | |
| tree | c592a3f5c36a719ab94b8e42c0211781bcaeb4fb /opendc-web/opendc-web-runner-quarkus/src | |
| parent | ebc6cdd08a0d8dac045305839421b726ae5c91b3 (diff) | |
fix(web/runner): Gracefully exit on interrupt
This change updates the web runner implementation to gracefully exit the
current thread when interrupted.
Diffstat (limited to 'opendc-web/opendc-web-runner-quarkus/src')
0 files changed, 0 insertions, 0 deletions