# HG changeset patch
# User wenzelm
# Date 1505751952 -7200
# Node ID fa70edfcb6fa8043a2a7376fe26030f98b724061
# Parent  39db5bb7eb0a92a26250a18f8d1c2b202bb9a26c
proper result type (cf. b9f5cd845616);

diff -r 39db5bb7eb0a -r fa70edfcb6fa src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Mon Sep 18 18:19:06 2017 +0200
+++ b/src/Tools/VSCode/src/server.scala	Mon Sep 18 18:25:52 2017 +0200
@@ -326,8 +326,8 @@
         delay_caret_update.revoke()
         delay_preview.revoke()
 
-        val rc = session.stop()
-        if (rc == 0) reply("") else reply("Prover shutdown failed: return code " + rc)
+        val result = session.stop()
+        if (result.ok) reply("") else reply("Prover shutdown failed: return code " + result.rc)
         None
       case None =>
         reply("Prover inactive")