if opts.debug > 0:
print >>opts.debug_file, m
+def sleep(seconds):
+ if opts.debug > 0:
+ opts.debug_file.flush()
+ time.sleep(seconds)
+
def format_time_interval(ti):
if ti < 120: return '%d:%02d' % (ti / 60, ti % 60)
if ti < 7200: return '%2dm' % (ti / 60)
need_wait = self.need_wait(now)
if need_wait > 0:
debug('Fetcher wait %d' % need_wait)
- time.sleep(need_wait)
+ sleep(need_wait)
def fetch(self, url, max_age):
debug('Fetcher fetch %s' % url)
track.catchup()
if track.changed():
print track
- time.sleep(1)
+ sleep(1)
#----- ship management aid -----
s += tbl.results()
displayer.show(s)
- time.sleep(1)
+ sleep(1)
rotate_nya = rotate_nya[1:3] + rotate_nya[0]
#---------- main program ----------