start();
}
@Bean
public ServletRegistrationBean repositoryServletRegistrationBean() {
ServletRegistrationBean servletRegistrationBean = new ServletRegistrationBean(new RepositoryHttpServlet(),
"/repository_servlet/*");
servletRegistrationBean.setLoadOnStartup(1);
return servletRegistrationBean;
}