src/Tools/VSCode/src/server.scala
changeset 66677 fa70edfcb6fa
parent 66676 39db5bb7eb0a
child 66963 1c3d0c12bb51
     1.1 --- a/src/Tools/VSCode/src/server.scala	Mon Sep 18 18:19:06 2017 +0200
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Mon Sep 18 18:25:52 2017 +0200
     1.3 @@ -326,8 +326,8 @@
     1.4          delay_caret_update.revoke()
     1.5          delay_preview.revoke()
     1.6  
     1.7 -        val rc = session.stop()
     1.8 -        if (rc == 0) reply("") else reply("Prover shutdown failed: return code " + rc)
     1.9 +        val result = session.stop()
    1.10 +        if (result.ok) reply("") else reply("Prover shutdown failed: return code " + result.rc)
    1.11          None
    1.12        case None =>
    1.13          reply("Prover inactive")