equal
deleted
inserted
replaced
33 user=None, date=None): |
33 user=None, date=None): |
34 if date: |
34 if date: |
35 # validate explicit (probably user-specified) date and |
35 # validate explicit (probably user-specified) date and |
36 # time zone offset. values must fit in signed 32 bits for |
36 # time zone offset. values must fit in signed 32 bits for |
37 # current 32-bit linux runtimes. |
37 # current 32-bit linux runtimes. |
38 when, offset = map(int, date.split(' ')) |
38 try: |
|
39 when, offset = map(int, date.split(' ')) |
|
40 except ValueError: |
|
41 raise ValueError('invalid date: %r' % date) |
39 if abs(when) > 0x7fffffff: |
42 if abs(when) > 0x7fffffff: |
40 raise ValueError('date exceeds 32 bits: %d' % when) |
43 raise ValueError('date exceeds 32 bits: %d' % when) |
41 if abs(offset) >= 43200: |
44 if abs(offset) >= 43200: |
42 raise ValueError('impossible time zone offset: %d' % offset) |
45 raise ValueError('impossible time zone offset: %d' % offset) |
43 else: |
46 else: |