From 74880989ab947e9972a80c3340174bebf4417209 Mon Sep 17 00:00:00 2001 From: virusdefender Date: Mon, 30 May 2016 18:07:46 +0800 Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E5=A4=8D=E4=B8=8D=E5=90=8C=E7=94=A8?= =?UTF-8?q?=E6=88=B7=E7=99=BB=E5=BD=95=E6=98=BE=E7=A4=BA=E7=9B=B8=E5=90=8C?= =?UTF-8?q?=E7=9A=84=E7=BC=93=E5=AD=98=E4=BB=A3=E7=A0=81=E7=9A=84=E9=97=AE?= =?UTF-8?q?=E9=A2=98?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- static/src/js/app/oj/problem/problem.js | 35 ++++++++++++++----------- 1 file changed, 19 insertions(+), 16 deletions(-) diff --git a/static/src/js/app/oj/problem/problem.js b/static/src/js/app/oj/problem/problem.js index 9910164..f071768 100644 --- a/static/src/js/app/oj/problem/problem.js +++ b/static/src/js/app/oj/problem/problem.js @@ -34,6 +34,7 @@ require(["jquery", "codeMirror", "csrfToken", "bsAlert", "ZeroClipboard"], var codeEditor = codeMirror(codeEditorSelector, "text/x-csrc"); var language = getLanguage(); var submissionId; + var userId; function setLanguage(language){ var languageTypes = {"1": "text/x-csrc", "2": "text/x-c++src", "3": "text/x-java"}; @@ -41,22 +42,7 @@ require(["jquery", "codeMirror", "csrfToken", "bsAlert", "ZeroClipboard"], } function saveCode(code){ - localStorage.setItem(location.href, JSON.stringify({code: code, language: language})) - } - - if(window.localStorage){ - var data = localStorage[location.href]; - if(data){ - data = JSON.parse(data); - $("input[name='language'][value='" + data.language + "']").prop("checked", true); - language = data.language; - codeEditor.setValue(data.code); - setLanguage(data.language); - } - - setInterval(function(){ - saveCode(codeEditor.getValue()) - }, 3000); + localStorage.setItem(userId + ":" + location.href, JSON.stringify({code: code, language: language})) } $("input[name='language']").change(function () { @@ -277,6 +263,23 @@ require(["jquery", "codeMirror", "csrfToken", "bsAlert", "ZeroClipboard"], $("#submit-code-button").attr("disabled", "disabled"); $("#result").html(''); } + else{ + userId = data.data.id; + if(window.localStorage){ + var data = localStorage[userId + ":" + location.href]; + if(data){ + data = JSON.parse(data); + $("input[name='language'][value='" + data.language + "']").prop("checked", true); + language = data.language; + codeEditor.setValue(data.code); + setLanguage(data.language); + } + + setInterval(function(){ + saveCode(codeEditor.getValue()) + }, 3000); + } + } } }) }); \ No newline at end of file