fix: only patch pid and require rebuilds (#4197)

This commit is contained in:
Jonathan Kelley authored and GitHub committed 2025-05-25 14:45:53 +01:00
1 parent b2bd1f48d4
commit 1d954c2f6f
5 files changed
+40 -10

No files matched your search

+2
View File
@@ -304,12 +304,14 @@ impl WebServer {
jump_table: JumpTable,
time_taken: Duration,
build: BuildId,
for_pid: Option<u32>,
) {
let msg = DevserverMsg::HotReload(HotReloadMsg {
jump_table: Some(jump_table),
ms_elapsed: time_taken.as_millis() as u64,
templates: vec![],
assets: vec![],
for_pid,
for_build_id: Some(build.0 as _),
});
self.send_devserver_message_to_all(msg).await;