diff options
Diffstat (limited to 'ui/backend/src/run')
| -rw-r--r-- | ui/backend/src/run/pty.rs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/ui/backend/src/run/pty.rs b/ui/backend/src/run/pty.rs index 2af617dd..1ede44a0 100644 --- a/ui/backend/src/run/pty.rs +++ b/ui/backend/src/run/pty.rs @@ -89,14 +89,12 @@ pub(crate) async fn pty_kill( let pty = state.pty_sessions.write().await.remove(&pid); match pty { - Some(pty)=>{ - - pty.kill_child().await.map_err(|e|e.to_string())?; + Some(pty) => { + pty.kill_child().await.map_err(|e| e.to_string())?; println!("RIP {pid:?}"); } - None=>{} + None => {} } - Ok(()) } |
