equal
deleted
inserted
replaced
7 __docformat__ = "restructuredtext en" |
7 __docformat__ = "restructuredtext en" |
8 |
8 |
9 import locale |
9 import locale |
10 from md5 import md5 |
10 from md5 import md5 |
11 from datetime import datetime, timedelta, date |
11 from datetime import datetime, timedelta, date |
12 from time import time |
12 from time import time, strftime |
13 from random import randint, seed |
13 from random import randint, seed |
14 |
14 |
15 # initialize random seed from current time |
15 # initialize random seed from current time |
16 seed() |
16 seed() |
17 |
17 |
51 |
51 |
52 encoding is guessed by locale.getpreferredencoding() |
52 encoding is guessed by locale.getpreferredencoding() |
53 """ |
53 """ |
54 # date format may depend on the locale |
54 # date format may depend on the locale |
55 encoding = locale.getpreferredencoding(do_setlocale=False) or 'UTF-8' |
55 encoding = locale.getpreferredencoding(do_setlocale=False) or 'UTF-8' |
56 return unicode(date.strftime(str(fmt)), encoding) |
56 return unicode(strftime(str(fmt), date.timetuple()), encoding) |
57 |
57 |
58 def make_uid(key): |
58 def make_uid(key): |
59 """forge a unique identifier""" |
59 """forge a unique identifier""" |
60 msg = str(key) + "%.10f"%time() + str(randint(0, 1000000)) |
60 msg = str(key) + "%.10f"%time() + str(randint(0, 1000000)) |
61 return md5(msg).hexdigest() |
61 return md5(msg).hexdigest() |