136137138139140141142143144145146
{ return; } // Getting the kind of event and the associated server ServerEventEnum kind = event.getKind(); Server server = event.getServer(); switch ( kind ) { // The server state has changed case STATE_CHANGED:
137138139140141142143144145146147
{ return; } // Getting the kind of event and the associated server ServerEventEnum kind = event.getKind(); Server server = event.getServer(); switch ( kind ) { // The server status has changed case STATE_CHANGED: