diff -r 7183f32fad13 -r e77cea9721e7 web/request.py
--- 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