diff options
author | Partouf <partouf@gmail.com> | 2019-07-30 00:09:41 +0200 |
---|---|---|
committer | Partouf <partouf@gmail.com> | 2019-07-30 00:09:41 +0200 |
commit | 235640b078f2cf91ab2ab19fd6eb5990b5daaa58 (patch) | |
tree | d26c1cd03810c958c44fdab3f2b499aa19a856af /lib/utils.js | |
parent | 5fa15a7f2ad58491eccde8e09309aab9a05a221c (diff) | |
download | compiler-explorer-235640b078f2cf91ab2ab19fd6eb5990b5daaa58.tar.gz compiler-explorer-235640b078f2cf91ab2ab19fd6eb5990b5daaa58.zip |
fix source filename in parseOutput
Diffstat (limited to 'lib/utils.js')
-rw-r--r-- | lib/utils.js | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/utils.js b/lib/utils.js index ddd9dde74..a30305747 100644 --- a/lib/utils.js +++ b/lib/utils.js @@ -62,7 +62,13 @@ function parseOutput(lines, inputFilename, pathPrefix) { eachLine(lines, function (line) { line = line.split('<stdin>').join('<source>'); if (pathPrefix) line = line.replace(pathPrefix, ""); - if (inputFilename) line = line.split(inputFilename).join('<source>'); + if (inputFilename) { + line = line.split(inputFilename).join('<source>'); + + if (inputFilename.indexOf('./') === 0) { + line = line.split('/home/ubuntu/' + inputFilename.substr(1)).join('<source>'); + } + } if (line !== null) { const lineObj = {text: line}; const match = line.replace(/\x1b\[[\d;]*[mK]/g, '').match(re); |