Don't set realm filters unless we have local echo

(imported from commit bbb7d87a869d6f1bd99a45581f8f557a97f30cce)
This commit is contained in:
Leo Franchi 2014-01-27 11:47:07 -05:00
parent 6fff91493c
commit 78f0cc1c4d
1 changed files with 3 additions and 0 deletions

View File

@ -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 = [];