Added servlet listener for repository shutdown