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 message;
authorwenzelm
Sat, 25 Aug 2018 17:20:06 +0200
changeset 68805 57455c561849
parent 68804 cbde6e3b132b
child 68806 4597812d5182
clarified message;
src/Pure/PIDE/prover.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/prover.scala	Sat Aug 25 10:42:08 2018 +0200
+++ b/src/Pure/PIDE/prover.scala	Sat Aug 25 17:20:06 2018 +0200
@@ -345,8 +345,8 @@
 
   def protocol_command_bytes(name: String, args: Bytes*): Unit =
     command_input match {
-      case Some(thread) => thread.send(Bytes(name) :: args.toList)
-      case None => error("Uninitialized command input thread")
+      case Some(thread) if thread.is_active => thread.send(Bytes(name) :: args.toList)
+      case _ => error("Inactive prover input thread for command " + quote(name))
     }
 
   def protocol_command(name: String, args: String*)
isabelle