def paused(self, value):
if self.paused == value: return
with self.broadcastbuffer(1, True) as cds:
if value:
self.pause_start = time.time()
else:
extend = (time.time() - self.pause_start)
map(lambda i: i.extend(extend), self.items)
self.match_end_time += extend
self.pause_start = None
swh.put_pausegame(cds, self.paused)
if not value:
swh.put_timeup(cds, self.timeleft)
