From aa67f10e3142867e8cad55fb33d6e05cfa9e56e3 Mon Sep 17 00:00:00 2001
From: Maxim Van de Wynckel <maxim.vandewynckel@gmail.com>
Date: Wed, 1 Feb 2023 14:43:36 +0100
Subject: [PATCH] fix: correctly apply index priority for websites (#160)

Fixes https://github.com/tdurieux/anonymous_github/issues/159
---
 src/routes/webview.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/routes/webview.ts b/src/routes/webview.ts
index 59fff13..a164da6 100644
--- a/src/routes/webview.ts
+++ b/src/routes/webview.ts
@@ -78,11 +78,12 @@ async function webView(req: express.Request, res: express.Response) {
       }
 
       let best_match = null;
+      indexSelector:
       for (const p of indexPriority) {
         for (let filename in currentAnonymized) {
           if (filename.toLowerCase() == p) {
             best_match = filename;
-            break;
+            break indexSelector;
           }
         }
       }