changeset 65231 | 4957c7ad92fc |
parent 65229 | cc96b8c3b8cb |
child 65232 | ca571c8c0788 |
--- a/src/Tools/VSCode/src/server.scala Tue Mar 14 15:14:56 2017 +0100 +++ b/src/Tools/VSCode/src/server.scala Tue Mar 14 15:19:33 2017 +0100 @@ -274,9 +274,7 @@ delay_caret_update.revoke() val rc = session.stop() - if (rc == 0) reply("") - else reply("Prover shutdown failed: return code " + rc) - + if (rc == 0) reply("") else reply("Prover shutdown failed: return code " + rc) None case None => reply("Prover inactive")