changed export servlet so the repository is used