# HG changeset patch
# User wenzelm
# Date 1489494459 -3600
# Node ID 912c3b9f77eea407c8dcef19504c59206e5a6c4c
# Parent  3b27169fd9da3aa0e6c5c55f8f9285f6d3411482
tuned;

diff -r 3b27169fd9da -r 912c3b9f77ee src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Tue Mar 14 11:49:51 2017 +0100
+++ b/src/Tools/VSCode/src/server.scala	Tue Mar 14 13:27:39 2017 +0100
@@ -232,6 +232,11 @@
     for (session <- try_session) {
       session_.change(_ => Some(session))
 
+      session.commands_changed += prover_output
+      session.all_messages += syslog
+
+      dynamic_output.init()
+
       var session_phase: Session.Consumer[Session.Phase] = null
       session_phase =
         Session.Consumer(getClass.getName) {
@@ -246,11 +251,6 @@
         }
       session.phase_changed += session_phase
 
-      session.commands_changed += prover_output
-      session.all_messages += syslog
-
-      dynamic_output.init()
-
       Isabelle_Process.start(session, options,
         logic = session_name, dirs = session_dirs, modes = modes)
     }