Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/2848
I think this PR might be not bad for a small number of users, but, I'm not
sure users increase. What do you think of it? It looks like calling websockets
everytime whenever all users make changes---
