diff options
| author | Vincent Untz <vuntz@gnome.org> | 2012-01-24 19:15:48 +0100 |
|---|---|---|
| committer | Vincent Untz <vuntz@gnome.org> | 2012-01-24 19:15:48 +0100 |
| commit | a9a7d984111cf070eab8139ff9c0f15e22589c3d (patch) | |
| tree | acb095c39b435a5d32d646a49892599aabe13a5e | |
| parent | ce0e388007097c24b5ba2d2064ec5bb597685765 (diff) | |
| download | xdg-specs-a9a7d984111cf070eab8139ff9c0f15e22589c3d.tar.xz | |
web-export: Handle empty/commented lines
| -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:"): |