[GNUnet-SVN] r23045 - gnunet-planetlab/gplmt

[gnunet]

Author: wachs
Date: 2012-08-03 11:28:48 +0200 (Fri, 03 Aug 2012)
New Revision: 23045

Modified:
   gnunet-planetlab/gplmt/Worker.py
Log:
- fix


Modified: gnunet-planetlab/gplmt/Worker.py
===================================================================
--- gnunet-planetlab/gplmt/Worker.py    2012-08-02 19:59:38 UTC (rev 23044)
+++ gnunet-planetlab/gplmt/Worker.py    2012-08-03 09:28:48 UTC (rev 23045)
@@ -75,7 +75,7 @@
             if (timeout != -1):
                 delta = time.time() - start_time
                 if (delta > timeout):
-                    print "Timeout after " +delta+ +" seconds"
+                    print "Timeout after " +str(delta) +" seconds"
                     result = Tasks.Taskresult.timeout
                     break
             (r, w, e) = select.select([channel], [], [], 1)