From ed2624545f2ecb1d878b58909cb9ec3fdb32f0c4 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Tue, 18 Oct 2016 14:54:59 +0800 Subject: [PATCH] master: ensure same dataset is in broadcast and local when mutating --- artiq/master/worker_db.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/artiq/master/worker_db.py b/artiq/master/worker_db.py index 11d6bf9b6..e00da8a1e 100644 --- a/artiq/master/worker_db.py +++ b/artiq/master/worker_db.py @@ -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")