Auto merge of #81132 - bugadani:map-prealloc, r=matthewjasper

[rust.git] / src / tools / clippy / clippy_dev / src / serve.rs

diff --git a/src/tools/clippy/clippy_dev/src/serve.rs b/src/tools/clippy/clippy_dev/src/serve.rs
index a46c0e4d3f0a1525eb39ee56bee441eec6e710fd..faa94859601e3a3e010af89a223956caba8b520a 100644 (file)
--- a/src/tools/clippy/clippy_dev/src/serve.rs
+++ b/src/tools/clippy/clippy_dev/src/serve.rs
@@ -4,6 +4,9 @@
 use std::thread;
 use std::time::{Duration, SystemTime};
 
+/// # Panics
+///
+/// Panics if the python commands could not be spawned
 pub fn run(port: u16, lint: Option<&str>) -> ! {
     let mut url = Some(match lint {
         None => format!("http://localhost:{}", port),