fix(future): race-safe remote_future_dispose — sever producer under the mutex before closing the trigger (true-async/server#93)#182

Merged

EdmondDantes merged 1 commit into

mainfrom

fix-remote-future-dispose-race

Jul 7, 2026

Commits on Jul 7, 2026

fix(future): race-safe remote_future_dispose — sever the producer under the shared-state mutex before closing the trigger (true-async/server#93)
EdmondDantes
committed