55d1dc95e2
save() encodes into state.json in place, so a concurrent reader can observe a truncated or garbled file.
save() encodes into state.json in place, so a concurrent reader can observe a truncated or garbled file.