Handle outdated closed-groups.rdf

Temporary until #47 gets done
w3c-webmob · Sep 3, 2015 · d6a6075 · d6a6075
1 parent 84dd684
commit d6a6075
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/extract-spec-data.py b/tools/extract-spec-data.py
@@ -50,6 +50,8 @@ def getType(x): return x.split('#')[1]
             labels = closed_wgs.xpath("/rdf:RDF/*[c:homePage/@rdf:resource='%s']/o:name/text()" % url, namespaces=ns)
             if len(labels) > 0:
                 wg["label"] = labels[0]
+            elif url == "http://www.w3.org/2012/sysapps/":
+                wg["label"] = "System Applications Working Group"
             else:
                 sys.stderr.write("No group with home page %s found in public-groups.rdf nor closed-groups.rdf\n" % (url))
         data[id]["wgs"].append(wg)