From a9a7d984111cf070eab8139ff9c0f15e22589c3d Mon Sep 17 00:00:00 2001 From: Vincent Untz Date: Tue, 24 Jan 2012 19:15:48 +0100 Subject: web-export: Handle empty/commented lines --- web-export/update.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/web-export/update.py b/web-export/update.py index 764d345..dc15a59 100755 --- a/web-export/update.py +++ b/web-export/update.py @@ -12,6 +12,10 @@ try: lastname = '' lastpath = '' for line in f.readlines(): + line = line.strip() + if not line or line.startswith('#'): + continue + (file, revision, version, path) = string.split(line) use_git = False if file.startswith("git:"): -- cgit v1.2.3-70-g09d2