Support access by rppdId, redirect to gndIdentifier (RPB-108)

hbz · Nov 16, 2023 · 93e3565 · 93e3565
1 parent 242dc04
commit 93e3565
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/app/controllers/HomeController.java b/app/controllers/HomeController.java
@@ -198,6 +198,10 @@ public Result authority(String id, String format) {
 		}
 		String jsonLd = getAuthorityResource(id);
 		if (jsonLd == null) {
+			SearchHits hitsById = index.query("rppdId:" + id, "", "", 0, 1).getHits();
+			if (hitsById.getTotalHits() > 0) {
+				return movedPermanently(hitsById.getAt(0).getSource().get("gndIdentifier").toString());
+			}
 			return responseFormat == Format.HTML ? notFound(views.html.details.render(null, allHits()))
 					: notFound("Not found: " + id);
 		}