master: ensure same dataset is in broadcast and local when mutating

This commit is contained in:
Sebastien Bourdeauducq 2016-10-18 14:54:59 +08:00
parent 1908339d4e
commit ed2624545f

View File

@ -198,6 +198,8 @@ class DatasetManager:
if key in self.local:
target = self.local[key]
if key in self.broadcast.read:
if target is not None:
assert target is self.broadcast.read[key][1]
target = self.broadcast[key][1]
if target is None:
raise KeyError("Cannot mutate non-existing dataset")