Skip to content

Robust SIGINT handling#413

Merged
Aaronontheweb merged 2 commits intopetabridge:devfrom
Aaronontheweb:robust-cancellation
Apr 18, 2025
Merged

Robust SIGINT handling#413
Aaronontheweb merged 2 commits intopetabridge:devfrom
Aaronontheweb:robust-cancellation

Conversation

@Aaronontheweb
Copy link
Member

close #412

@Aaronontheweb Aaronontheweb enabled auto-merge (squash) April 18, 2025 17:39
@Aaronontheweb Aaronontheweb merged commit 5011d52 into petabridge:dev Apr 18, 2025
2 checks passed
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.

Incrementalist needs to handle SIGINT and other termination signals gracefully and immediately

1 participant