384         def locked_op(self, op, allow_unprivileged=False, new_history_op=True):
1373                 with self.locked_op("remove-publisher"):
1563                 with self.locked_op("set-property"):
1570                 with self.locked_op("set-property"):
1585                 with self.locked_op("unset-property"):
1590                 with self.locked_op("add-property-value"):
1596                 with self.locked_op("remove-property-value"):
1634                 with self.locked_op("add-publisher"):
3694                 with self.locked_op("avoid"):
3704                 with self.locked_op("unavoid"):
3776                 with self.locked_op("freeze"):
3817                 with self.locked_op("freeze"):

Indexes created Tue Jul 24 14:28:13 CEST 2018