Handle error correctly (#153)

* Handle error correctly * format Co-authored-by: Thomas Lohse <49527735+t-lohse@users.noreply.github.com>
Ecdar · Nov 28, 2022 · 52e788d · 52e788d
1 parent 24d3541
commit 52e788d
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/src/ProtobufServer/ecdar_requests/send_query.rs b/src/ProtobufServer/ecdar_requests/send_query.rs
@@ -194,12 +194,10 @@ fn convert_ecdar_result(query_result: &QueryResult) -> Option<ProtobufResult> {
                         component_paths,
                     }))
                 }
-                Err(e) => Some(ProtobufResult::Reachability(ReachabilityResult {
-                    success: false,
-                    reason: format!("Internal error occurred during reachability check: {}", e),
-                    state: None,
-                    component_paths: vec![],
-                })),
+                Err(e) => Some(ProtobufResult::Error(format!(
+                    "Internal error occurred during reachability check: {}",
+                    e
+                ))),
             }
         }