mirror of
https://github.com/renbaoshuo/UOJ-Luogu-RemoteJudge.git
synced 2024-10-18 12:28:49 +00:00
97 lines
2.3 KiB
Diff
97 lines
2.3 KiB
Diff
--- UOJ-System/web/app/cli.php 2022-12-30 09:54:05.452022649 +0800
|
|
+++ UOJ-Luogu-RemoteJudge/web/app/cli.php 2023-03-20 18:44:11.532475876 +0800
|
|
@@ -1,10 +1,24 @@
|
|
<?php
|
|
|
|
+error_reporting(E_ALL ^ E_NOTICE ^ E_DEPRECATED);
|
|
+
|
|
$_SERVER['DOCUMENT_ROOT'] = dirname(__DIR__);
|
|
|
|
require $_SERVER['DOCUMENT_ROOT'] . '/app/libs/uoj-lib.php';
|
|
|
|
+requirePHPLib('luogu');
|
|
+requirePHPLib('data');
|
|
+
|
|
// TODO: more beautiful argv parser
|
|
+$my_args = array();
|
|
+
|
|
+for ($i = 1; $i < count($argv); $i++) {
|
|
+ if (preg_match('/^--([^=]+)[=](.*)/', $argv[$i], $match)) {
|
|
+ $my_args[$match[1]] = $match[2];
|
|
+ } else if (preg_match('/^--(.*)/', $argv[$i], $match)) {
|
|
+ $my_args[$match[1]] = $argv[++$i];
|
|
+ }
|
|
+}
|
|
|
|
$handlers = [
|
|
'upgrade:up' => function ($name) {
|
|
@@ -61,7 +75,67 @@
|
|
});
|
|
die("finished!\n");
|
|
},
|
|
- 'help' => 'showHelp'
|
|
+ 'luogu:add-problem' => function () use ($argv, $my_args) {
|
|
+ DB::init();
|
|
+
|
|
+ $db = array();
|
|
+
|
|
+ if (!isset($my_args['file'])) {
|
|
+ echo "No database file specified, fetching online instead.\n\n";
|
|
+ } else {
|
|
+ echo "Reading local database: {$my_args['file']}\n\n";
|
|
+
|
|
+ $file = file_get_contents($my_args['file']);
|
|
+
|
|
+ foreach (explode("\n", $file) as $line) {
|
|
+ if (strlen($line) == 0) continue;
|
|
+
|
|
+ $line_data = json_decode($line, true);
|
|
+ $db[$line_data['pid']] = $line_data;
|
|
+ }
|
|
+
|
|
+ $db_count = count($db);
|
|
+ echo "Loaded {$db_count} items.\n\n";
|
|
+ }
|
|
+
|
|
+ // TODO: read database from local file
|
|
+
|
|
+ $problems = array_filter($argv, function ($id) {
|
|
+ if (!validateLuoguProblemId($id)) return false;
|
|
+
|
|
+ return true;
|
|
+ });
|
|
+
|
|
+ if (empty($problems)) {
|
|
+ echo "No problems to be added.\n";
|
|
+
|
|
+ return;
|
|
+ }
|
|
+
|
|
+ echo "Problems to be added: " . implode(', ', $problems) . "\n\n";
|
|
+
|
|
+ readline("Press Enter to continue, or Ctrl+C to abort.");
|
|
+
|
|
+ foreach ($problems as $pid) {
|
|
+ try {
|
|
+ if (!isset($db[$pid])) {
|
|
+ if (!empty($db)) {
|
|
+ echo "[WARN] $pid: fallback to fetch data online\n";
|
|
+ }
|
|
+
|
|
+ $id = newLuoguRemoteProblem($pid);
|
|
+ } else {
|
|
+ $parsed = parseLuoguProblemData($db[$pid]);
|
|
+ $id = newLuoguRemoteProblemFromData($parsed);
|
|
+ }
|
|
+
|
|
+ echo "$pid: $id\n";
|
|
+ } catch (Exception $e) {
|
|
+ echo "$pid: failed\n";
|
|
+ }
|
|
+ }
|
|
+ },
|
|
+ 'help' => 'showHelp',
|
|
];
|
|
|
|
function showHelp() {
|