diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-09-20 09:23:48 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-09-20 10:26:08 +0300 |
commit | 7fe6532c7373e57f2e95a2525d49290856c80b17 (patch) | |
tree | 3c31609a4134e07adf4730212c26ee9f0d93ec3f | |
parent | 93de60b6d1bbc0695e918d04e8dc949cb773a7d9 (diff) |
ui: add log on child waiting error
-rw-r--r-- | ui/src/state.rs | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/ui/src/state.rs b/ui/src/state.rs index f7782838..63a82285 100644 --- a/ui/src/state.rs +++ b/ui/src/state.rs @@ -607,7 +607,11 @@ impl State { match w { Ok(Some(_)) => true, Ok(None) => false, - Err(_) => { + Err(e) => { + log( + format!("Failed to wait on editor process: {}", e.to_string()), + ERROR, + ); return None; } } @@ -617,7 +621,11 @@ impl State { match w { Ok(Some(_)) => true, Ok(None) => false, - Err(_) => { + Err(e) => { + log( + format!("Failed to wait on child process: {}", e.to_string()), + ERROR, + ); return None; } } |