# HG changeset patch
# User wenzelm
# Date 1535210406 -7200
# Node ID 57455c561849f125ce56a81fe34b6c73c050599e
# Parent  cbde6e3b132b20a739ba94598896d40a59c2f5b9
clarified message;

diff -r cbde6e3b132b -r 57455c561849 src/Pure/PIDE/prover.scala
--- 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*)