This repository has been archived by the owner on Oct 13, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge parallel tree indexing. Fix bug 1047554.
For deployers: * See the commit message of 21767c7. * dxr-serve.py becomes `dxr serve`. * deploy.py becomes `dxr deploy`. * The on-disk folder structure of the dxr-prod link and the builds dir doesn't change, but it no longer needs the "instances" dir (and will ignore it). * The dxr.config file should now live somewhere where both the indexing box and the webheads can get at it, because both the indexing process and the web app read it. There's no more generated config file.
- Loading branch information