Code:
|
# NBNB HACK TBD
# This is a weak GUID generator - should be replaced with a proper one
# NB must be done by direct access
import time
dataDict = self.__dict__
tt = time.time()
timeStamp = ''.join((time.strftime("%Y-%m-%d-%H-%M-%S", time.localtime(tt)), '-', ("%.3f" % (tt%1))[2:]))
if timeStamp == dataDict.get('_lastTimeStamp'):
serial = dataDict.get('_lastTimeSerial',0) + 1
dataDict['_lastTimeSerial'] = serial
else:
dataDict['_lastTimeStamp'] = timeStamp
serial = dataDict['_lastTimeSerial'] = 1
result = "%s_%s_%s_%05d" % (dataDict['name'], dataDict['currentUserId'],
timeStamp, serial)
|