src/Pure/PIDE/session.scala

     }
 
     def flush(): Set[Document.Node.Name] =
       changed_nodes.change_result(nodes => (nodes, Set.empty))
 
-    def shutdown() { delay.revoke() }
+    def revoke() { delay.revoke() }
   }
 
 
   /* prover process */
 

 
           case Start(start_prover) if !prover.defined =>
             prover.set(start_prover(manager.send(_)))
 
           case Stop =>
+            consolidation.revoke()
             delay_prune.revoke()
             if (prover.defined) {
               protocol_handlers.exit()
               global_state.change(_ => Document.State.init)
               prover.get.terminate

     send_stop()
     prover.await_reset()
 
     change_parser.shutdown()
     change_buffer.shutdown()
-    consolidation.shutdown()
     manager.shutdown()
     dispatcher.shutdown()
 
     phase match {
       case Session.Terminated(result) => result