From 93e35659c45390b9491954ddd1f6610e1076aabf Mon Sep 17 00:00:00 2001 From: Fabian Steeg Date: Thu, 16 Nov 2023 11:09:15 +0100 Subject: [PATCH] Support access by `rppdId`, redirect to `gndIdentifier` (RPB-108) --- app/controllers/HomeController.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/app/controllers/HomeController.java b/app/controllers/HomeController.java index ff7af32..4fdeebf 100644 --- 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); }