132133134135136137138139140
die(); start(port); if (oldPort != getPort()) { // notify servers of changed port MessageHandler.send(new ChangeDataPortMessage(getPort())); } }