.idea/deno.xml

@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="DenoSettings">
-    <option name="useDeno" value="true" />
-  </component>
-</project>

.idea/inspectionProfiles/Project_Default.xml

@@ -1,6 +0,0 @@
-<component name="InspectionProjectProfileManager">
-  <profile version="1.0">
-    <option name="myName" value="Project Default" />
-    <inspection_tool class="ExceptionCaughtLocallyJS" enabled="false" level="WARNING" enabled_by_default="false" />
-  </profile>
-</component>

application/app.vue

@@ -1,26 +1,15 @@
 <template>
-  <n-config-provider :theme-overrides="theme">
+  <n-message-provider>
-    <n-message-provider>
+    <n-dialog-provider>
-      <n-dialog-provider>
+      <nuxt-layout>
-        <nuxt-layout>
+        <nuxt-loading-indicator />
-          <nuxt-loading-indicator />
+        <nuxt-page />
-          <nuxt-page />
+      </nuxt-layout>
-        </nuxt-layout>
+    </n-dialog-provider>
-      </n-dialog-provider>
+  </n-message-provider>
-    </n-message-provider>
-  </n-config-provider>
 </template>
 
 <script setup lang="ts">
-import { NConfigProvider, NMessageProvider, NDialogProvider } from "naive-ui";
+import { NMessageProvider, NDialogProvider } from "naive-ui";
 import "@/assets/css/index.css";
-
-const theme = {
-  "common": {
-    "primaryColor": "#e7bf72",
-    "primaryColorHover": "#f1ca7a",
-    "primaryColorPressed": "#d6b26b",
-    "primaryColorSuppl": "#c49e55"
-  }
-};
 </script>

application/assets/css/index.css

@@ -21,8 +21,3 @@ code, pre {
 pre {
   border-radius: 4px;
 }
-
-a {
-  color: #c49e55;
-  text-decoration: none;
-}

application/components/problem/preview/program.vue

@@ -1,21 +0,0 @@
-<template>
-  <n-card>
-    <n-code :hljs="hljs" :language="language" :code="props.answers?.code" />
-  </n-card>
-</template>
-
-<script setup lang="ts">
-import { NCard, NCode } from "naive-ui";
-import hljs from "highlight.js/lib/core";
-import cpp from "highlight.js/lib/languages/cpp";
-
-hljs.registerLanguage("cpp", cpp);
-
-const props = defineProps<{
-  challenge: any,
-  problem: any,
-  answers: any,
-}>();
-
-const language = computed(() => props.answers?.language ?? "text");
-</script>

application/package.json

@@ -26,7 +26,6 @@
     "@ibm/plex": "^6.3.0",
     "@nuxtjs/mdc": "^0.2.8",
     "@supabase/supabase-js": "^2.39.0",
-    "highlight.js": "^11.9.0",
     "prismjs": "^1.29.0"
   }
 }

application/pages/challenges/[id].vue

@@ -12,52 +12,17 @@
         </n-page-header>
       </template>
 
-      <div id="answering-content" v-if="challenge?.status === 'in-progress'">
+      <section>
         <problem-solution-program
           v-if="problem.type === 'programming'"
           v-model:answers="answers"
           :challenge="challenge"
           :problem="problem"
         />
-      </div>
+      </section>
-
-      <div id="preview-challenge" class="flex flex-col gap-4" v-else>
-        <div>
-          <div class="font-bold">状态</div>
-          <div class="case-capital">{{ challenge?.status?.replaceAll("-", " ") }}</div>
-        </div>
-        <div>
-          <div class="font-bold">问题</div>
-          <div>
-            <nuxt-link target="_blank" :to="`/problems/${challenge.problem}`">
-              #{{ challenge?.problem }} | {{ problem?.title }}
-            </nuxt-link>
-          </div>
-        </div>
-        <div>
-          <div class="font-bold">答案</div>
-          <client-only>
-            <div class="mt-2 mx-[-4px]">
-              <problem-preview-program
-                v-if="problem.type === 'programming'"
-                :answers="answers"
-                :challenge="challenge"
-                :problem="problem"
-              />
-            </div>
-          </client-only>
-        </div>
-        <div>
-          <div class="font-bold">结果</div>
-          <n-card embedded class="mt-2 mx-[-4px]">
-            <div v-if="challenge?.details?.cases"></div>
-            <n-empty v-else description="未进行判题，暂无挑战结果" />
-          </n-card>
-        </div>
-      </div>
 
       <template #action>
-        <div v-if="challenge?.status === 'in-progress'" id="answering-widgets" class="w-full flex justify-between">
+        <div class="w-full flex justify-between">
           <div class="flex gap-2">
             <n-button secondary circle class="rounded-[4px]" type="warning" :disabled="submitting" @click="save">
               <template #icon>
@@ -76,7 +41,7 @@
 </template>
 
 <script setup lang="ts">
-import { NButton, NCard, NPageHeader, NTag, NIcon, NEmpty, useDialog, useMessage } from "naive-ui";
+import { NButton, NCard, NPageHeader, NTag, NIcon, useDialog, useMessage } from "naive-ui";
 import { Save } from "@vicons/carbon";
 
 const route = useRoute();
@@ -159,36 +124,6 @@ function abandon() {
 }
 
 async function submit() {
-  await save();
 
-  const instance = dialog.warning({
-    title: "警告",
-    content: "你确定要提交吗？确认提交后无法再次修改答案，等待判题可能需要一段时间。",
-    positiveText: "确定",
-    negativeText: "不确定",
-    onPositiveClick: async () => {
-      instance.loading = true;
-
-      const inst = message.loading("正在提交中，请稍后……");
-
-      const { error } = await client
-        .from("challenges")
-        // @ts-ignore
-        .update<any>({ status: "submitted" })
-        .eq("id", challenge.id);
-
-      if (error != null) {
-        message.error(`Something went wrong... ${error.message}`);
-      }
-
-      inst.destroy();
-      message.success("提交成功！即将跳转结果页面……");
-
-      const delay = (ms: number) => new Promise(res => setTimeout(res, ms));
-
-      await delay(1850);
-      reloadNuxtApp();
-    }
-  });
 }
 </script>

supabase/functions/.env

@@ -1 +0,0 @@
-JUDGE0_ENDPOINT=http://192.168.50.83:2358

supabase/functions/fresh-challenges/index.ts

@@ -1,44 +0,0 @@
-import { createClient } from "https://esm.sh/@supabase/supabase-js";
-
-// http://127.0.0.1:54321/functions/v1/fresh-challenges
-// Auto get judging status from remote lawyers
-
-Deno.serve(async (req) => {
-  try {
-    const client = createClient(
-      Deno.env.get("SUPABASE_URL") ?? "",
-      Deno.env.get("SUPABASE_SERVICE_ROLE_KEY") ?? ""
-    );
-
-    const body = await req.json();
-
-    const { data } = await client
-      .from("challenges")
-      .select<any, any>("*")
-      .eq("status", "judging")
-      .eq("id", body.id)
-      .single();
-
-    if (data == null || data?.details?.submissions == null) {
-      return new Response(String("Unable to find the challenge with the id in the request."), { status: 400 });
-    }
-
-    const tokens = data?.details?.submissions
-      .map((item: { token: string }) => item.token)
-      .join(",");
-
-    const resp = await fetch(
-      Deno.env.get("JUDGE0_ENDPOINT") + `/submissions/batch?tokens=${tokens}`,
-      { method: "GET" }
-    );
-
-    const result = await resp.json();
-
-    return new Response(JSON.stringify({ result }), {
-      headers: { "Content-Type": "application/json" },
-      status: 200
-    });
-  } catch (err) {
-    return new Response(String(err?.message ?? err), { status: 500 });
-  }
-});

supabase/functions/judge-challenges/index.ts

@@ -1,58 +0,0 @@
-import { createClient } from "https://esm.sh/@supabase/supabase-js";
-import { runChallenge } from "./runners/index.ts";
-
-// http://127.0.0.1:54321/functions/v1/judge-challenges
-// Judge all status is submitted challenges
-
-Deno.serve(async (_) => {
-  try {
-    const client = createClient(
-      Deno.env.get("SUPABASE_URL") ?? "",
-      Deno.env.get("SUPABASE_SERVICE_ROLE_KEY") ?? ""
-    );
-
-    const { data, error } = await client
-      .from("challenges")
-      .select<any, any>("*")
-      .eq("status", "submitted")
-      .limit(20);
-
-    if (error) {
-      throw error;
-    }
-
-    let counter = 0;
-    for (const item of data) {
-      const { data: problem } = await client
-        .from("problems")
-        .select<any, any>("*")
-        .eq("id", item.problem)
-        .single();
-
-      if (problem == null) {
-        throw new Error("Problem was not found.");
-      }
-
-      const { data: cases } = await client
-        .from("problem_cases")
-        .select<any, any>("*")
-        .eq("problem", problem.id);
-
-      const result = await runChallenge(item, problem, cases);
-
-      await client
-        .from("challenges")
-        .update<any>({ status: result.status === "skipped" ? "finished" : "judging", details: result })
-        .eq("id", item.id);
-
-      counter++;
-    }
-
-    return new Response(JSON.stringify({ judged: counter }), {
-      headers: { "Content-Type": "application/json" },
-      status: 200
-    });
-  } catch (err) {
-    return new Response(String(err?.message ?? err), { status: 500 });
-  }
-});

supabase/functions/judge-challenges/runners/index.ts

@@ -1,10 +0,0 @@
-import { runProgramChallenge } from "./programming.ts";
-
-export async function runChallenge(challenge: any, problem: any, cases: any) {
-  switch (problem.type) {
-    case "programming":
-      return await runProgramChallenge(challenge, problem, cases)
-    default:
-      throw new Error("Unsupported problem type.")
-  }
-}

supabase/functions/judge-challenges/runners/programming.ts

@@ -1,40 +0,0 @@
-export async function runProgramChallenge(challenge: any, problem: any, cases: any[]) {
-  const languages: { [id: string]: number } = {
-    "cpp": 54
-  };
-
-  const code = challenge.answers?.code;
-  const language = challenge.answers?.language;
-  if (!code || !language || !cases || Object.keys(languages).indexOf(language) < 0) {
-    return {
-      status: "skipped",
-      submissions: null
-    };
-  }
-
-  const idx = languages[language];
-  const submissions = cases.map((item: any) => {
-    return {
-      "language_id": idx,
-      "source_code": challenge.answers?.code,
-      "expected_output": item?.stdout,
-      "stdin": code
-    };
-  });
-
-  const resp = await fetch(
-    Deno.env.get("JUDGE0_ENDPOINT") + "/submissions/batch",
-    {
-      method: "POST",
-      headers: { "Content-Type": "application/json" },
-      body: JSON.stringify({ submissions })
-    }
-  );
-
-  const result = await resp.json();
-
-  return {
-    status: "judging",
-    submissions: result
-  };
-}