Skip to content

Remove unnecessary threading from search code#113

Merged
kneasle merged 1 commit into
masterfrom
remove-threading
Jul 13, 2022
Merged

Remove unnecessary threading from search code#113
kneasle merged 1 commit into
masterfrom
remove-threading

Conversation

@kneasle
Copy link
Copy Markdown
Owner

@kneasle kneasle commented Jul 13, 2022

The current search code can only use one thread, so we may as well remove all the incidental complexity caused by assuming the search is multi-threaded.

@kneasle kneasle merged commit c954c94 into master Jul 13, 2022
@kneasle kneasle deleted the remove-threading branch July 13, 2022 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant