}
public void destroy() {
- repositories.close();
+ if (repositories != null)
+ repositories.close();
}
void registerRepositoryServlets(HttpService httpService, String alias, Repository repository) {
// e.getException());
// }
}
+
}
private class RemotingServlet extends JcrRemotingServlet {