summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorManos Pitsidianakis <el13635@mail.ntua.gr>2019-09-20 09:23:48 +0300
committerManos Pitsidianakis <el13635@mail.ntua.gr>2019-09-20 10:26:08 +0300
commit7fe6532c7373e57f2e95a2525d49290856c80b17 (patch)
tree3c31609a4134e07adf4730212c26ee9f0d93ec3f
parent93de60b6d1bbc0695e918d04e8dc949cb773a7d9 (diff)
ui: add log on child waiting error
-rw-r--r--ui/src/state.rs12
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;
}
}