修复 JudgeServer task_number 并发更新的问题

2019-04-03 12:07:59 +08:00
parent f1f2202731
commit eab80024a8
3 changed files with 16 additions and 6 deletions
--- a/docs/data.json
+++ b/docs/data.json
@@ -1,5 +1,13 @@
 {
  "update": [
+    {
+      "version": "2019-04-03",
+      "level": "Important",
+      "title": "2019-04-03",
+      "details": [
+        "Fix bugs in judge server scheduler"
+      ]
+    },
    {
      "version": "2019-03-25",
      "level": "Recommend",