From 6ad94978ce165f972e647022af05736632bdd8f9 Mon Sep 17 00:00:00 2001 From: Ryan Fleury Date: Mon, 17 Jun 2024 10:55:17 -0700 Subject: [PATCH] correctly adjust dbgi timestamp in ctrl entity store, upon debug info changes --- src/ctrl/ctrl_core.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ctrl/ctrl_core.c b/src/ctrl/ctrl_core.c index 33a24e57..91543a72 100644 --- a/src/ctrl/ctrl_core.c +++ b/src/ctrl/ctrl_core.c @@ -2893,6 +2893,7 @@ ctrl_thread__entry_point(void *p) di_close(&old_dbgi_key); ctrl_entity_equip_string(ctrl_state->ctrl_thread_entity_store, debug_info_path, path); U64 new_dbgi_timestamp = os_properties_from_file_path(path).modified; + debug_info_path->timestamp = new_dbgi_timestamp; DI_Key new_dbgi_key = {debug_info_path->string, new_dbgi_timestamp}; di_open(&new_dbgi_key); CTRL_EventList evts = {0}; @@ -2901,6 +2902,7 @@ ctrl_thread__entry_point(void *p) evt->machine_id = msg->machine_id; evt->entity = msg->entity; evt->string = path; + evt->timestamp = new_dbgi_timestamp; ctrl_c2u_push_events(&evts); }break; }