Skip to content
This repository has been archived by the owner on Jul 22, 2024. It is now read-only.

How does one close manually the CoqSerapi obj? #3

Open
brando90 opened this issue Aug 3, 2022 · 0 comments
Open

How does one close manually the CoqSerapi obj? #3

brando90 opened this issue Aug 3, 2022 · 0 comments

Comments

@brando90
Copy link

brando90 commented Aug 3, 2022

I see it has a aexit but that method doesn't have default args. Nor does the obj have a .closing or .quit method. So how does one close this? @pestun
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@brando90