equal
deleted
inserted
replaced
42 # time zone offset. values must fit in signed 32 bits for |
42 # time zone offset. values must fit in signed 32 bits for |
43 # current 32-bit linux runtimes. |
43 # current 32-bit linux runtimes. |
44 try: |
44 try: |
45 when, offset = map(int, date.split(' ')) |
45 when, offset = map(int, date.split(' ')) |
46 except ValueError: |
46 except ValueError: |
47 raise ValueError('invalid date: %r' % date) |
47 raise ValueError(_('invalid date: %r') % date) |
48 if abs(when) > 0x7fffffff: |
48 if abs(when) > 0x7fffffff: |
49 raise ValueError('date exceeds 32 bits: %d' % when) |
49 raise ValueError(_('date exceeds 32 bits: %d') % when) |
50 if abs(offset) >= 43200: |
50 if abs(offset) >= 43200: |
51 raise ValueError('impossible time zone offset: %d' % offset) |
51 raise ValueError(_('impossible time zone offset: %d') % offset) |
52 else: |
52 else: |
53 date = "%d %d" % util.makedate() |
53 date = "%d %d" % util.makedate() |
54 list.sort() |
54 list.sort() |
55 l = [hex(manifest), user, date] + list + ["", desc] |
55 l = [hex(manifest), user, date] + list + ["", desc] |
56 text = "\n".join(l) |
56 text = "\n".join(l) |