diff --git a/web/src/pages/ReviewPage.vue b/web/src/pages/ReviewPage.vue index 6bf9f37..4689479 100644 --- a/web/src/pages/ReviewPage.vue +++ b/web/src/pages/ReviewPage.vue @@ -1,14 +1,17 @@ + + + + diff --git a/web/src/run/session.ts b/web/src/run/session.ts index 66ca045..df0f2ca 100644 --- a/web/src/run/session.ts +++ b/web/src/run/session.ts @@ -187,7 +187,12 @@ export function createRunSession() { } } - return { state, connect, run, stop, act, replyMessageBox, setBoard, resetBoard } + /** 离开页面时断开连接:服务器随即结束正在运行的程序 */ + function close() { + socket?.close() + } + + return { state, connect, run, stop, act, replyMessageBox, setBoard, resetBoard, close } } export type RunSession = ReturnType