# HG changeset patch
# User wenzelm
# Date 1483629831 -3600
# Node ID 27328dcaf64c5a8163eb1ae0686f34af96e5fe86
# Parent  adc4c84b692c7c9b330ca3277ac8ae9f94603c8c
emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;

diff -r adc4c84b692c -r 27328dcaf64c src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Thu Jan 05 16:16:18 2017 +0100
+++ b/src/Pure/PIDE/session.scala	Thu Jan 05 16:23:51 2017 +0100
@@ -297,6 +297,7 @@
       assignment |= assign
       for (command <- cmds) {
         nodes += command.node_name
+        command.blobs_names.foreach(nodes += _)
         commands += command
       }
       delay_flush.invoke()