Fixing ids

src/main/java/at/ac/uibk/gitsearch/web/rest/ExerciseResource.java

@@ -54,7 +54,7 @@ public class ExerciseResource {
     public ResponseEntity<Resource> getRepositoryFile(HttpServletRequest request, @RequestParam("filePath") String filePath) throws IOException {
 		String pattern = (String) request.getAttribute(HandlerMapping.BEST_MATCHING_PATTERN_ATTRIBUTE);
 
-		String exerciseId = new AntPathMatcher().extractPathWithinPattern(pattern, request.getPathInfo());
+		String exerciseId = new AntPathMatcher().extractPathWithinPattern(pattern, request.getRequestURI());
 
 		ExerciseId parsedId;
 		try {

src/main/java/at/ac/uibk/gitsearch/web/rest/StatisticsResource.java

@@ -157,7 +157,7 @@ public class StatisticsResource {
 
 		String pattern = (String) request.getAttribute(HandlerMapping.BEST_MATCHING_PATTERN_ATTRIBUTE);
 
-		String exerciseId = new AntPathMatcher().extractPathWithinPattern(pattern, request.getPathInfo());
+		String exerciseId = new AntPathMatcher().extractPathWithinPattern(pattern, request.getRequestURI());
 
 		log.debug("REST request to get Statistics for ExerciseID : {}", exerciseId);
 		Optional<StatisticsDTO> statisticsDTO = statisticsService.findOneByExerciseID(exerciseId);