216217218219220221222223
{ scheduler.unscheduleJob( DATABASE_JOB, DATABASE_SCAN_GROUP ); } catch ( SchedulerException e ) { throw new StoppingException( "Unable to unschedule tasks", e ); } }
173174175176177178179180
jobs.clear(); queuedRepos.clear(); } catch ( SchedulerException e ) { throw new StoppingException( "Unable to unschedule tasks", e ); } }
144145146147148149150151
{ server.stop(); } catch ( InterruptedException e ) { throw new StoppingException( "Error stopping the jetty webdav server: ", e ); } }
296297298299300301302303
175176177178179180181182
207208209210211212213214
204205206207208209210211
229230231232233234235236
} jobs.clear(); } catch ( SchedulerException e ) { throw new StoppingException( "Unable to unschedule tasks", e ); } }
231232233234235236237238
133134135136137138139140
{ scheduler.unscheduleJob( DATA_REFRESH_JOB, DISCOVERER_GROUP ); } catch ( SchedulerException e ) { throw new StoppingException( "Unable to unschedule tasks", e ); } }