updating = true;
try{
if (e.getSource() == portText) {
try {
int port = Integer.parseInt(portText.getText());
execute(new SetServerPortCommand(server, port));
} catch (NumberFormatException ex) {
// shucks
}
} else if (e.getSource() == debugPortText) {
try {