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 protocol errors;
authorwenzelm
Wed, 28 Dec 2016 17:54:55 +0100
changeset 64687 04806ad1e43a
parent 64686 7888be4fa496
child 64688 d8f194556c70
clarified protocol errors;
src/Tools/VSCode/src/server.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/server.scala	Wed Dec 28 17:49:47 2016 +0100
+++ b/src/Tools/VSCode/src/server.scala	Wed Dec 28 17:54:55 2016 +0100
@@ -308,7 +308,7 @@
           case _ => channel.log("### IGNORED")
         }
       }
-      catch { case exn: Throwable => channel.error_message(Exn.message(exn)) }
+      catch { case exn: Throwable => channel.log_error_message(Exn.message(exn)) }
     }
 
     @tailrec def loop()
isabelle