前面我们已经实现了菜单权限控制，但是给用户改了权限后，用户在不刷新的情况下，还能操作没有权限的菜单。这时候需要后端给前端发送一个通知，前端自动刷新，后端推送消息方案，我们使用WebSocket。