14 def __init__(self, main_time, byop, byot):
17 self._main_t = main_time
18 self.byost = "main time"
24 if self._last > 0: # when running:
25 r_time = self._main_t - (time.time() - self._last + self._elapsed)
26 if (r_time - int(r_time)) < 0.75:
31 if self._byo and self._byop > 0:
33 r_time = self._main_t - self._elapsed
37 self._main_t = self._byot
41 self._last = time.time()
42 self.byost = "(" + str(self._byop) + ")"
43 return self.get_time()
46 self.byost = "lost on time"
47 return "{0:0>2}".format(int(r_time / 60)) + sep + "{0:0>2}".format(int(r_time % 60))
50 self._last = time.time()
53 self._elapsed += time.time() - self._last
63 parser = argparse.ArgumentParser(description=__doc__)
64 parser.add_argument('-m', type=int, default=10,
65 help="main time in minutes (default is 10)")
66 parser.add_argument('-b', type=int, nargs=2, default=[5, 20],
67 help="japanese byoyomi: number of periods, period length in"
68 " seconds (default is 5 periods, 20 seconds)")
69 parser.add_argument('-c', '--camera', dest='cam', action='store_true',
71 parser.add_argument('-d', type=int, default=0,
72 help="video device id")
73 parser.add_argument('-r', type=int, nargs=2, default=[640, 480],
74 help="set camera resolution")
75 args = parser.parse_args()
79 pygame.display.set_mode((600, 130))
80 pygame.display.set_caption("Go timer")
81 screen = pygame.display.get_surface()
83 clock = pygame.time.Clock()
85 font = pygame.font.Font(pygame.font.match_font('monospace'), 80)
86 font2 = pygame.font.Font(None, 25)
91 main_time = args.m * 60
93 timers = (Timer(main_time, args.b[0], args.b[1]), Timer(main_time, args.b[0], args.b[1]))
96 capture = subprocess.Popen(['python', 'capture.py', '-c', '-d', str(args.d), '-r',
98 str(args.r[1])], stdin=subprocess.PIPE)
102 for event in pygame.event.get():
103 if event.type == pygame.QUIT:
105 elif event.type == pygame.KEYDOWN:
106 if time.time() - last < 0.7:
113 print >> capture.stdin, "stop"
114 print >> capture.stdin, "take"
117 print >> capture.stdin, "take"
119 if timer.is_running():
124 screen.fill([0, 0, 0])
125 text1 = font.render(timers[0].get_time(), True, [128, 255, 128])
126 screen.blit(text1, [10, 10])
127 text2 = font.render(timers[1].get_time(), True, [128, 255, 128])
128 screen.blit(text2, [300, 10])
129 text3 = font2.render(timers[0].byost, True, [128, 255, 128])
130 screen.blit(text3, [10, 90])
131 text4 = font2.render(timers[1].byost, True, [128, 255, 128])
132 screen.blit(text4, [300, 90])
133 pygame.display.flip()
137 print >> capture.stdin, "exit"
139 if __name__ == '__main__':