server/pool.py
branchstable
changeset 8238 087bb529035c
parent 7815 2a164a9cf81c
child 8544 3d049071957e
--- a/server/pool.py	Mon Feb 13 17:57:07 2012 +0100
+++ b/server/pool.py	Thu Feb 16 14:14:52 2012 +0100
@@ -30,7 +30,7 @@
     """
 
     def __init__(self, sources):
-        # dictionnary of (source, connection), indexed by sources'uri
+        # dictionary of (source, connection), indexed by sources'uri
         self.source_cnxs = {}
         for source in sources:
             self.add_source(source)