gui/applets: catch duplicate applet UIDs (#430)

m-labs · May 7, 2016 · dec323b · dec323b
1 parent bcfb01b
commit dec323b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/artiq/gui/applets.py b/artiq/gui/applets.py
@@ -372,6 +372,7 @@ def new(self, uid=None):
         if uid is None:
             uid = next(iter(set(range(len(self.applet_uids) + 1))
                             - self.applet_uids))
+        assert uid not in self.applet_uids
         self.applet_uids.add(uid)
 
         row = self.table.rowCount()
@@ -413,7 +414,6 @@ def delete(self):
             self.applet_uids.remove(item.applet_uid)
             self.table.removeRow(row)
 
-
     async def stop(self):
         for row in range(self.table.rowCount()):
             dock = self.table.item(row, 0).applet_dock