(addr: string)
| 14 | |
| 15 | // 获取后端API的绝对地址 |
| 16 | function backend_absaddr(addr: string) { |
| 17 | return new URL(addr, window.location.href).href; |
| 18 | } |
| 19 | |
| 20 | // 初始化Handler和Session |
| 21 | function set_up_session(webio_session: Session, output_container_elem: JQuery, input_container_elem: JQuery) { |
no outgoing calls
no test coverage detected
searching dependent graphs…