USE `app_uoj233`; -- Registers the compose judger. Upsert, so re-running is harmless, and -- ./judger/register-judger.sh can be used later to change the password/ip -- without rebuilding this image. -- -- judger_name must match JUDGER_NAME in docker-compose.yml, and ip must be -- reachable from the web container (`uoj-judger` is the compose service name) -- because /judge/sync-judge-client dials it on judger.socket.port. -- -- _judger_password_ is a placeholder published in this repository: change it. insert into judger_info (judger_name, password, ip) values ('main_judger', '_judger_password_', 'uoj-judger') on duplicate key update password = values(password), ip = values(ip);