Skip to content
This repository has been archived by the owner on Dec 8, 2020. It is now read-only.

Change termination from SIGTERM to SIGINT #35

Open
KalitaAlexey opened this issue Dec 30, 2016 · 0 comments
Open

Change termination from SIGTERM to SIGINT #35

KalitaAlexey opened this issue Dec 30, 2016 · 0 comments
Labels
enhancement

Comments

@KalitaAlexey
Copy link
Member

Hi everybody.

It was changed from SIGINT to SIGTERM in the PR: #33
It was made because rustup had an issue with SIGINT: rust-lang/rustup#806
If the issue of rustup is fixed we need to change SIGTERM to SIGINT.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@KalitaAlexey