# HG changeset patch
# User casties
# Date 1276713916 -7200
# Node ID ed106c9df6f3e6dff7493f2bdc2d61f23faebbf6
# Parent  a5667c023a49e16900eb4517f05f0fbd5973ee43
fixed oopsie

diff -r a5667c023a49 -r ed106c9df6f3 documentViewer.py
--- a/documentViewer.py	Wed Jun 16 20:43:23 2010 +0200
+++ b/documentViewer.py	Wed Jun 16 20:45:16 2010 +0200
@@ -70,7 +70,7 @@
             if sys.version_info < (2, 6):
                 # set timeout on socket -- ugly :-(
                 import socket
-                socket.setdefaulttimeout(timeout)
+                socket.setdefaulttimeout(float(timeout))
                 response = urllib2.urlopen(url)
             else:
                 response = urllib2.urlopen(url,timeout=float(timeout))