Confirmed users
574
edits
DXR Parallel Tree Indexing: Difference between revisions
Jump to navigation
Jump to search
Add description to frozen config.
(Add es_alias to the frozen config.) |
(Add description to frozen config.) |
||
| Line 19: | Line 19: | ||
format: 11, # By storing the number here, we can just query for.... We don't have to worry about the alias template string going stale; the deploy script re-reads the config file each time. | format: 11, # By storing the number here, we can just query for.... We don't have to worry about the alias template string going stale; the deploy script re-reads the config file each time. | ||
es_alias: "dxr_11_mozilla-central", # in case es_alias changes in the conf file | es_alias: "dxr_11_mozilla-central", # in case es_alias changes in the conf file | ||
description: "Some tree", # needed so new trees or edited descriptions can show up without a WSGI restart | |||
enabled_plugins: ["clang", "pygmentize"], | enabled_plugins: ["clang", "pygmentize"], | ||
maybe some plugin config # TODO: how do we pluggably serialize this? We don't need any of these yet, so it can wait. | maybe some plugin config # TODO: how do we pluggably serialize this? We don't need any of these yet, so it can wait. | ||