diff options
author | Jesper van den Ende <jespertheend@users.noreply.github.com> | 2023-10-06 23:33:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-06 23:33:14 +0200 |
commit | be7e2bd8c1883c6bf58db8ff40954ed7ee53b5c5 (patch) | |
tree | 9b435c7d0f4e81e4bc4d89303ce155639dbfdca2 /runtime/inspector_server.rs | |
parent | 48bb3b2b0f519077e1a454034fbbe79d9db23c4a (diff) |
fix(cli): Support using both `--watch` and `--inspect` at the same time (#20660)
Fixes #20525
Diffstat (limited to 'runtime/inspector_server.rs')
-rw-r--r-- | runtime/inspector_server.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/inspector_server.rs b/runtime/inspector_server.rs index 1fb840790..313b5fd51 100644 --- a/runtime/inspector_server.rs +++ b/runtime/inspector_server.rs @@ -359,6 +359,9 @@ async fn pump_websocket_messages( } } } + else => { + break 'pump; + } } } } |