Added label_whitelist

2019-11-06 16:59:10 +01:00
parent d8b740a1e5
commit 2efae2e2de
2 changed files with 9 additions and 1 deletions
@@ -271,6 +271,10 @@ def main():
    filters = {}
    filters['node_order'] = config.get('settings', 'node_order') == 'fixed'
    filters['dependency_type'] = config.get('settings', 'dependency_type') == 'labeled'
+    if config.has_option('settings', 'label_whitelist'):
+        filters['label_whitelist'] = config.get('settings', 'label_whitelist').split('|')
+    else:
+        filters['label_whitelist'] = []

    # for tree in all_trees[2:]:
    # for tree in all_trees[1205:]: