the mirror line usually has a colon in the url
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 26 Dec 2009 19:05:28 +0000 (19:05 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 26 Dec 2009 19:05:28 +0000 (19:05 +0000)
pkgs.py

diff --git a/pkgs.py b/pkgs.py
index d31e57d..b2a6be8 100755 (executable)
--- a/pkgs.py
+++ b/pkgs.py
@@ -110,7 +110,7 @@ class PkgsParser:
                 if self.m_comment.match(line) or self.m_blank.match(line):
                     continue
                 try:
-                    [lefts,rights] = line.split(':')
+                    [lefts,rights] = line.split(':',1)
                     for left in lefts.split():
                         ########## single ident
                         if self.m_ident.match(left):