From ff809a3750ce98cafa3d655ebd60945a6f5dba13 Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Mon, 1 Oct 2018 12:48:52 +0200 Subject: [PATCH] Add ID reporting in imag-gps --- bin/core/imag-gps/src/main.rs | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/bin/core/imag-gps/src/main.rs b/bin/core/imag-gps/src/main.rs index fac2d0c4..50c94f61 100644 --- a/bin/core/imag-gps/src/main.rs +++ b/bin/core/imag-gps/src/main.rs @@ -135,6 +135,10 @@ fn add(rt: &Runtime) { }) .set_coordinates(c.clone()) .map_err_trace_exit_unwrap(1); + + let _ = rt + .report_touched(&id) + .map_err_trace_exit_unwrap(1); }); } @@ -168,6 +172,10 @@ fn remove(rt: &Runtime) { if print_removed { let _ = writeln!(rt.stdout(), "{}", removed_value).to_exit_code().unwrap_or_exit(); } + + let _ = rt + .report_touched(&id) + .map_err_trace_exit_unwrap(1); }); } @@ -193,6 +201,10 @@ fn get(rt: &Runtime) { }); let _ = writeln!(stdout, "{}", value).to_exit_code().unwrap_or_exit(); + + let _ = rt + .report_touched(&id) + .map_err_trace_exit_unwrap(1); }) }