20181103 NEUOJ 维护日志

Bittersweet2018-11-4
本文最后更新于 404 天前(2018-11-4),其中的信息可能已经有所发展或者不再适用于现阶段。
本文全长 146 字,全部读完大约需要 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 的目录占用巨量磁盘空间,临时文件可直接删除,问题解决
除特殊说明以外,本网站文章采用 知识共享署名-相同方式共享 4.0 国际许可协议 进行许可。