(msg: Command)
| 14 | } |
| 15 | |
| 16 | handle_message(msg: Command) { |
| 17 | if (msg.command == 'close_session') |
| 18 | this.session.close_session(); |
| 19 | else if (msg.command == 'set_session_id') |
| 20 | this.session.webio_session_id = msg.spec; |
| 21 | } |
| 22 | } |
| 23 | |
| 24 | export class CommandDispatcher { |
nothing calls this directly
no test coverage detected