The server is not killed/terminated after VSCode exit

aya-prover / aya-vscode

~ VSCode extension for Aya Prover

GNU General Public License v3.0

7 stars 2 forks source link

Closed ice1000 closed 3 years ago

ice1000 commented 3 years ago

:worried:

imkiva commented 3 years ago

Is this still happen?

ice1000 commented 3 years ago

Nope