From 78f0cc1c4d1b369e4058b9a2ef8402edebce2b99 Mon Sep 17 00:00:00 2001 From: Leo Franchi Date: Mon, 27 Jan 2014 11:47:07 -0500 Subject: [PATCH] Don't set realm filters unless we have local echo (imported from commit bbb7d87a869d6f1bd99a45581f8f557a97f30cce) --- static/js/echo.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/static/js/echo.js b/static/js/echo.js index 24764ad000..a7cffae727 100644 --- a/static/js/echo.js +++ b/static/js/echo.js @@ -342,6 +342,9 @@ function python_to_js_filter(pattern, url) { exports.set_realm_filters = function set_realm_filters(realm_filters) { // Update the marked parser with our particular set of realm filters + if (!page_params.local_echo) { + return; + } realm_filter_map = {}; realm_filter_list = [];