web/request.py
changeset 5811 e77cea9721e7
parent 5774 0d792bceb25d
parent 5777 941038164cf5
child 5890 141b935a38fc
--- a/web/request.py	Fri Jun 18 18:31:22 2010 +0200
+++ b/web/request.py	Mon Jun 21 13:23:11 2010 +0200
@@ -20,7 +20,12 @@
 __docformat__ = "restructuredtext en"
 
 import Cookie
-import hashlib
+try:
+    import hashlib
+    hashlib.hash
+except AttributeError:
+    # python 2.5 ...
+    import sha as hashlib
 import time
 import random
 import base64