fix(shell/server): ignore exceptions during reparsing

This commit is contained in:
Sebastian Ullrich 2016-12-27 14:38:24 +01:00 committed by Leonardo de Moura
parent 47264ef6fd
commit 88adce1ec3

View file

@ -415,7 +415,7 @@ public:
}
j["record"] = record;
} catch (break_at_pos_exception & e) {}
} catch (throwable & ex) {}
}
m_server->send_msg(cmd_res(m_seq_num, j));