this.controller.render('ws_deck');
this.session.close();
+ this.data.menu_perms = false;
+ this.data.current_hotkeyset = undefined;
+ this.data.stash('menu_perms');
+ this.data.stash('current_hotkeyset');
/* FIXME - need some locking or object destruction for the async tests */
/* this.test_server( this.controller.view.server_prompt.value ); */