m = rm('=+ (\\d+)/(\\d+)/(\\d+) =+$')
if m:
- self._date = m.groups()
+ self._date = [int(x) for x in m.groups()]
+ self._previous_timestamp = None
return d('date '+`self._date`)
if self._date is None:
if not m:
return d('no timestamp')
- time_tuple = [int(x) for x in self._date + m.groups()]
- time_tuple += (-1,-1,-1)
- timestamp = time.mktime(time_tuple)
+ while True:
+ time_tuple = (self._date +
+ [int(x) for x in m.groups()] +
+ [-1,-1,-1])
+ timestamp = time.mktime(time_tuple)
+ if timestamp >= self._previous_timestamp: break
+ self._date[2] += 1
+ self._debug_line_disposition(timestamp,'',
+ 'new date '+`self._date`)
+
+ self._previous_timestamp = timestamp
+
l = l[l.find(' ')+1:]
def ob_x(who,event):