Eu acho que se algo der errado no processo de envio do SIGUSR1 para encerrar/reiniciar o servidor (vide launcher.sh e MiniTrucoServer.java), pode acontecer de um servidor permanecer escutando na porta 6912 (e o parent dele virar o PID 1).
De repente pensar em algum cleanup ou timeout pra isso (talvez no startup do launcher mandar o sigusr1 pra qualquer processo que se pareça com um servidor desgarrado, ou fazer isso de tempos em tempos, ou o próprio server detectar?).
Eu acho que se algo der errado no processo de envio do SIGUSR1 para encerrar/reiniciar o servidor (vide
launcher.sheMiniTrucoServer.java), pode acontecer de um servidor permanecer escutando na porta 6912 (e o parent dele virar o PID 1).De repente pensar em algum cleanup ou timeout pra isso (talvez no startup do launcher mandar o sigusr1 pra qualquer processo que se pareça com um servidor desgarrado, ou fazer isso de tempos em tempos, ou o próprio server detectar?).
Mas primeiro ver se isso vai acontecer.