# HG changeset patch
# User wenzelm
# Date 1489865405 -3600
# Node ID 08ebdaa34b24655b5f3aaf71a7062bd24c0a9fdf
# Parent  da9f1ef8ef7cb5ed41d8a5090020af2ab970160e
asynchronous send_stop operation;

diff -r da9f1ef8ef7c -r 08ebdaa34b24 src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Sat Mar 18 20:24:12 2017 +0100
+++ b/src/Pure/PIDE/session.scala	Sat Mar 18 20:30:05 2017 +0100
@@ -557,7 +557,7 @@
       })
   }
 
-  def stop(): Int =
+  def send_stop()
   {
     val was_ready =
       _phase.guarded_access(phase =>
@@ -567,7 +567,12 @@
           case Session.Inactive => Some((false, post_phase(Session.Terminated(0))))
           case Session.Ready => Some((true, post_phase(Session.Shutdown)))
         })
-    if (was_ready) manager.send_wait(Stop)
+    if (was_ready) manager.send(Stop)
+  }
+
+  def stop(): Int =
+  {
+    send_stop()
     prover.await_reset()
 
     change_parser.shutdown()