New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make reboot handler gracefully shut down judgedaemon #148

Closed

meisterT wants to merge 1 commit into DOMjudge:main from meisterT:grace

Member

meisterT commented May 5, 2024

No description provided.


          Make reboot handler gracefully shut down judgedaemon

0bb175a

Member Author

meisterT commented May 5, 2024

cc @vmcj @eldering

Member Author

meisterT commented May 5, 2024

I see this was later reverted, closing...

meisterT closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet