updating to allow permanent disconnection

imandra-ai / imandra-vscode

VSCode extension for developing imandra

Other

2 stars 0 forks source link

updating to allow permanent disconnection #29

Closed ewenmaclean closed 4 years ago

ewenmaclean commented 4 years ago

When developing sometimes - particularly with multifile examples, it really hammers the battery having imandra running. Sometimes good to develop with just merlin and then explicitly restart the server. This allows the command "disconnect semantic server" to switch it off - can be restarted then with an explicit restart.

grantpassmore commented 4 years ago

Great idea!

c-cube commented 4 years ago

The code looks ok, and I tried it locally. Works perfectly :100: . Great job @ewenmaclean !!