Made sure the judge is properly killed if the server dies.
Made sure the judge is properly killed if the server dies.

buhe/judge,buhe/judge,DMOJ/judge,buhe/judge,buhe/judge,DMOJ/judge,buhe/judge,DMOJ/judge,buhe/judge