public void disconnected(){
synchronized (m_event) {
    m_event.notifyAll();
  }
}

public void disconnected ( ) { synchronized ( m_event ) { m_event . notifyAll ( ) ; } }
issued when the socket connection to the player is cut
