# HG changeset patch # User wenzelm # Date 1489501173 -3600 # Node ID 4957c7ad92fc16f0fecef7a2b9810ff088ea64c4 # Parent ab7c6e1257e375a0dbdc671e67f888ae9e64590c tuned; diff -r ab7c6e1257e3 -r 4957c7ad92fc src/Tools/VSCode/src/server.scala --- 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")