From 23dc70b28af2baf082904688027b7314403844f7 Mon Sep 17 00:00:00 2001
From: Kirill Osenkov <github@osenkov.com>
Date: Wed, 9 Sep 2020 13:56:57 -0700
Subject: [PATCH] Make sure fileUrl is rooted before redirecting.

---
 src/SourceIndexServer/wwwroot/scripts.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/SourceIndexServer/wwwroot/scripts.js b/src/SourceIndexServer/wwwroot/scripts.js
index 91372cea8..c46fb433e 100644
--- a/src/SourceIndexServer/wwwroot/scripts.js
+++ b/src/SourceIndexServer/wwwroot/scripts.js
@@ -139,7 +139,7 @@ function processHash() {
                 fileUrl = fileUrl + "#" + createSafeLineNumber(hashOrLine);
             }
 
-            redirectLocation(s, fileUrl);
+            redirectLocation(s, "/" + fileUrl);
 
             var pathParts = potentialFile.split("/");
             if (pathParts.length > 1) {