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 | 0fdfe7d6f35b1914f901c710b23f88c64773fa90 (patch) | |
| tree | 235c99c64f8ee6b6f6a5308e5a661df8e065a415 /src/remake/catchup.rs | |
| parent | 6d09b81329d33deb7e2ee614aa0c3025555c0f14 (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; } |
