Skip to content

Conversation

@fmassot
Copy link
Collaborator

@fmassot fmassot commented Nov 7, 2022

Fix #2262

  • kill a merge pipeline when there is no more indexing pipeline registered on a given (index_id, source_id).

I think we should also kill an indexing pipeline when we shut it down (but will see that in another PR).

2 tests added.

@fulmicoton fulmicoton force-pushed the fmassot--remove-merge-planner-exit-on-publisher-finalize--issues/2262 branch 2 times, most recently from 6715314 to 6f59111 Compare November 8, 2022 06:18
@fulmicoton fulmicoton force-pushed the fmassot--remove-merge-planner-exit-on-publisher-finalize--issues/2262 branch from 6f59111 to 98eb074 Compare November 8, 2022 06:19
@fmassot fmassot merged commit 447db8b into main Nov 8, 2022
@fmassot fmassot deleted the fmassot--remove-merge-planner-exit-on-publisher-finalize--issues/2262 branch November 8, 2022 06:46
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.

Merge pipeline stops if an actor in the indexing pipeline fails.

3 participants