diff options
| author | tv <tv@krebsco.de> | 2026-10-25 20:09:39 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-10-25 20:09:39 +0100 |
| commit | c20d9217dbb98a18a5329f40dfabdbf9b3fae949 (patch) | |
| tree | 73290334d160eda7b19b4bedcb9f6a24b69f7e28 /src/remake/catchup.rs | |
| parent | 58255e611b374d592bd6cb1f6ec16f35b1f93bbe (diff) | |
only keep list of actor IDs within one epoch (fixup)
Diffstat (limited to 'src/remake/catchup.rs')
| -rw-r--r-- | src/remake/catchup.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/remake/catchup.rs b/src/remake/catchup.rs index 4feb70e..631fb25 100644 --- a/src/remake/catchup.rs +++ b/src/remake/catchup.rs @@ -382,6 +382,8 @@ async fn finish<H: Host>(host: &H) { }, ); host.remake().set_catch_up(None); + let actor = host.read_doc(|doc| doc.get_actor().clone()).await; + host.remake().reset_own_actors(actor); if was_ready { host.resume().await; } |
