144145146147148149150151
{ server.stop(); } catch ( InterruptedException e ) { throw new StoppingException( "Error stopping the jetty webdav server: ", e ); } }
302303304305306307308309
jobs.clear(); queuedRepos.clear(); } catch ( SchedulerException e ) { throw new StoppingException( "Unable to unschedule tasks", e ); } }
250251252253254255256257
stateMachineStop(); } catch (Exception e) { GamerLogger.logStackTrace("GamePlayer", e); throw new StoppingException(e); } }