Make sure fileUrl is rooted before redirecting.

KirillOsenkov · KirillOsenkov · commit 23dc70b28af2 · 2020-09-09T13:56:57.000-07:00
diff --git 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) {

Original file line number	Diff line number	Diff line change
`@@ -139,7 +139,7 @@ function processHash() {`
`139`	`139`	`fileUrl = fileUrl + "#" + createSafeLineNumber(hashOrLine);`
`140`	`140`	`}`
`141`	`141`
`142`		`- redirectLocation(s, fileUrl);`
	`142`	`+ redirectLocation(s, "/" + fileUrl);`
`143`	`143`
`144`	`144`	`var pathParts = potentialFile.split("/");`
`145`	`145`	`if (pathParts.length > 1) {`