diff --git a/src/server/server_family.cc b/src/server/server_family.cc index 52cd789d0..864a1cb80 100644 --- a/src/server/server_family.cc +++ b/src/server/server_family.cc @@ -276,7 +276,7 @@ template void UpdateMax(T* maxv, T current) { void SetMasterFlagOnAllThreads(bool is_master) { auto cb = [is_master](auto* pb) { ServerState::tlocal()->is_master = is_master; }; - shard_set->pool()->DispatchBrief(cb); + shard_set->pool()->Await(cb); } std::optional InferSnapshotCronExpr() {