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.

Sign up for GitHub

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

Jump to bottom

wrap cli exec to gracefully catch keyboard exit signal #603

Merged
merged 1 commit into from
Apr 16, 2024
Merged

wrap cli exec to gracefully catch keyboard exit signal #603

merged 1 commit into from
Apr 16, 2024

Conversation

jmartin-tech
Copy link
Collaborator

Enable basic ctrl-c signal handling in cli execution. This should likely be enhanced to cleanup the execution run and logs to better document activity, however this get the initial capture in place.

This PR diff is likely best reviewed with ignore-whitespace enabled.

@jmartin-tech
wrap cli exec to gracefully catch keyboard exit signal
a49079f 
Signed-off-by: Jeffrey Martin <jemartin@nvidia.com>
@leondz leondz merged commit 88d048f into leondz:main Apr 16, 2024
4 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Apr 16, 2024
@jmartin-tech jmartin-tech deleted the feature/cli-abort branch April 23, 2024 19:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@leondz leondz leondz approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jmartin-tech @leondz