From fa44dc60cb28e200cc5969aec8228a5df9b9a001 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 27 Dec 2016 12:25:50 +0100
Subject: [PATCH] fix(shell/server): don't send out messages from reparsing

---
 src/shell/server.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/shell/server.cpp b/src/shell/server.cpp
index 9d1c246f25..13300754ef 100644
--- a/src/shell/server.cpp
+++ b/src/shell/server.cpp
@@ -386,6 +386,10 @@ public:
                 snapshot s = *snap;
                 s.m_sub_buckets.clear(); // HACK
                 try {
+                    // ignore messages from reparsing
+                    null_message_buffer null_msg_buf;
+                    scoped_message_buffer scope(&null_msg_buf);
+
                     bool use_exceptions = true;
                     parser p(s.m_env, get_global_ios(), mk_dummy_loader(), in, get_module_id(),
                              use_exceptions, std::make_shared<snapshot>(s), nullptr);