Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified result;
authorwenzelm
Wed, 21 Mar 2018 21:31:40 +0100
changeset 67916 a72f01c63262
parent 67915 d827728b74b3
child 67917 d13b2dd20f5e
clarified result;
src/Pure/Tools/server_commands.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/server_commands.scala	Wed Mar 21 21:31:16 2018 +0100
+++ b/src/Pure/Tools/server_commands.scala	Wed Mar 21 21:31:40 2018 +0100
@@ -153,7 +153,7 @@
     def command(session: Thy_Resources.Session): (JSON.Object.T, Process_Result) =
     {
       val result = session.stop()
-      val result_json = JSON.Object("return_code" -> result.rc)
+      val result_json = JSON.Object("ok" -> result.ok, "return_code" -> result.rc)
 
       if (result.ok) (result_json, result)
       else throw new Server.Error("Session shutdown failed: return code " + result.rc, result_json)
isabelle