diff options
| author | y21 <30553356+y21@users.noreply.github.com> | 2023-09-10 16:14:20 +0200 |
|---|---|---|
| committer | y21 <30553356+y21@users.noreply.github.com> | 2024-08-27 21:51:02 +0200 |
| commit | e8ac4ea4187498052849531b86114a1eec5314a1 (patch) | |
| tree | afe755b7b066707901e93775f69ea71c86f087fc /clippy_dev/src | |
| parent | 603d5a19c9e768f7fcb4775dbb57200b563350ee (diff) | |
| download | rust-e8ac4ea4187498052849531b86114a1eec5314a1.tar.gz rust-e8ac4ea4187498052849531b86114a1eec5314a1.zip | |
new lint: `zombie_processes`
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/serve.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clippy_dev/src/serve.rs b/clippy_dev/src/serve.rs index 19560b31fd3..cc14cd8dae6 100644 --- a/clippy_dev/src/serve.rs +++ b/clippy_dev/src/serve.rs @@ -29,7 +29,7 @@ pub fn run(port: u16, lint: Option<String>) -> ! { } if let Some(url) = url.take() { thread::spawn(move || { - Command::new(PYTHON) + let mut child = Command::new(PYTHON) .arg("-m") .arg("http.server") .arg(port.to_string()) @@ -40,6 +40,7 @@ pub fn run(port: u16, lint: Option<String>) -> ! { thread::sleep(Duration::from_millis(500)); // Launch browser after first export.py has completed and http.server is up let _result = opener::open(url); + child.wait().unwrap(); }); } thread::sleep(Duration::from_millis(1000)); |