Skip to content

Add developer-only tool to close a console REPL #221

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.

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

Closed
petetronic opened this issue Mar 2, 2023 · 1 comment
Closed

Add developer-only tool to close a console REPL #221

petetronic opened this issue Mar 2, 2023 · 1 comment
Milestone

Comments

@petetronic
Copy link
Collaborator

No description provided.

@petetronic petetronic changed the title Add developer only tool to close a console REPL Add developer-only tool to close a console REPL Apr 10, 2023
@petetronic
Copy link
Collaborator Author

We think we have enough tools for now, we can shutdown a runtime or we can also keep terminal processes visible and manually delete them.

@petetronic petetronic closed this as not planned Won't fix, can't repro, duplicate, stale Apr 10, 2023
@petetronic petetronic added this to the Private Alpha milestone Aug 26, 2023
wesm pushed a commit that referenced this issue Mar 28, 2024
… exits

Merge pull request #221 from posit-dev/feature/runtime-exit-reason

Provide a reason for runtime exits
--------------------
Commit message for posit-dev/positron-python@e603579:

provide a reason for runtime exits


Authored-by: Jonathan McPherson <[email protected]>
Signed-off-by: Jonathan McPherson <[email protected]>
wesm pushed a commit that referenced this issue Mar 28, 2024
… exits

Merge pull request #221 from posit-dev/feature/runtime-exit-reason

Provide a reason for runtime exits
--------------------
Commit message for posit-dev/positron-python@e603579:

provide a reason for runtime exits


Authored-by: Jonathan McPherson <[email protected]>
Signed-off-by: Jonathan McPherson <[email protected]>
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant