Change GetSourceRelativePath

Change GetSourceRelativePath so that you can have a workspace outside the path to the source file
ido-namely · Feb 26, 2018 · 990f3ea · 990f3ea
1 parent 2f7fbd4
commit 990f3ea
Showing 1 changed file with 10 additions and 8 deletions.
diff --git a/src/MiniCover/Instrumentation/Instrumenter.cs b/src/MiniCover/Instrumentation/Instrumenter.cs
@@ -333,15 +333,17 @@ private void InstrumentInstruction(int instructionId, Instruction instruction,
 
         private string GetSourceRelativePath(string path)
         {
-            if (!path.StartsWith(normalizedWorkDir))
-                return null;
-
-            if (!sourceFiles.Contains(path))
-                return null;
-
-            return path.Substring(normalizedWorkDir.Length);
+            Uri file = new Uri(path);
+            Uri folder = new Uri(normalizedWorkDir);
+            string relativePath = 
+                Uri.UnescapeDataString(
+                    folder.MakeRelativeUri(file)
+                        .ToString()
+                        .Replace('/', Path.DirectorySeparatorChar)
+                );
+            return  relativePath;
         }
-
+        
         private string GetPdbFile(string assemblyFile)
         {
             return Path.ChangeExtension(assemblyFile, "pdb");