diff options
| -rwxr-xr-x | web-export/update.py | 4 |
1 files changed, 4 insertions, 0 deletions
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:"): |