Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-14 05:45:37 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

bug 1076848 - fix source server indexing for headers from dist/include. r=dmajor

Browse Source 
--HG--
extra : rebase_source : 378c17c4656858fa76f5273537c65318f2199b68
extra : source : 5b1402a3d3ca0df8fe25edd7d0bdcd6b99aa3b9d
This commit is contained in:
Ted Mielczarek 2015-05-07 07:11:27 -04:00
parent 0da771f85d
commit 9549f29287
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
toolkit/crashreporter/tools/symbolstore.py
View File

@ -638,9 +638,10 @@ class Dumper:
# FILE index filename
(x, index, filename) = line.rstrip().split(None, 2)
filename = os.path.normpath(self.FixFilenameCase(filename))
# We want original file paths for the source server.
sourcepath = filename
if filename in self.file_mapping:
filename = self.file_mapping[filename]
sourcepath = filename
if self.vcsinfo:
(filename, rootname) = GetVCSFilename(filename, self.srcdirs)
# sets vcs_root in case the loop through files were to end on an empty rootname