branch | stable |
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)