tuned;

--- 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")