20181103 NEUOJ 维护日志
本文最后更新于 1660 天前（2018-11-4），其中的信息可能已经有所发展或者不再适用于现阶段。
本文全长 154 字，全部读完大约需要 1 分钟。
- 配置 judgehost 为 systemd 的 service，使用 syslog 管理相关日志，抛弃 supervisor
- domjudge judgehost 5.1.1 存在内存泄漏问题，配置 timer 来周期性 restart 它们
- 原本 judgehost 的日志时间非常混乱，更改 /etc/php.ini 中 [Date] 的时区后问题解决
- 更改 /etc/systemd/journald 使系统日志可持久化
- 配置 timer 来每天进行 certbot 的证书续期
- webserver 的磁盘可用空间不足，经检查是 /tmp 下面有类似 systemd-private-xxxxx-php71-php-fpm 的目录占用巨量磁盘空间，临时文件可直接删除，问题解决