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 : c98ea332576f244ee29326c44eee3201e99f08ed
This commit is contained in:
Ted Mielczarek 2015-05-07 07:11:27 -04:00
parent 4377c8f962
commit be88e14c91
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