Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Wrap the code indexer #9476

Merged
merged 5 commits into from
Dec 24, 2019
Merged

Commits on Dec 23, 2019

  1. Wrap the code indexer

    In order to prevent a data race in the code indexer it must be wrapped
    with a holder otherwise it is possible to Search/Index on an
    incompletely initialised indexer, and search will fail with a nil
    pointer until the repository indexer is initialised.
    
    Further a completely initialised repository indexer should not be closed
    until Termination otherwise actions in Hammer/Shutdown phases could
    block or be lost.
    
    Finally, there is a complex dance of shutdown etiquette should the index
    initialisation fail. This PR restores that.
    zeripath committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    b4a7e45 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    cbdf6b3 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9ebb311 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2019

  1. Configuration menu
    Copy the full SHA
    7bff177 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ebc9a6d View commit details
    Browse the repository at this point in the history