aboutsummaryrefslogtreecommitdiff
path: root/lib/utils.js
diff options
context:
space:
mode:
authorPartouf <partouf@gmail.com>2019-07-30 00:09:41 +0200
committerPartouf <partouf@gmail.com>2019-07-30 00:09:41 +0200
commit235640b078f2cf91ab2ab19fd6eb5990b5daaa58 (patch)
treed26c1cd03810c958c44fdab3f2b499aa19a856af /lib/utils.js
parent5fa15a7f2ad58491eccde8e09309aab9a05a221c (diff)
downloadcompiler-explorer-235640b078f2cf91ab2ab19fd6eb5990b5daaa58.tar.gz
compiler-explorer-235640b078f2cf91ab2ab19fd6eb5990b5daaa58.zip
fix source filename in parseOutput
Diffstat (limited to 'lib/utils.js')
-rw-r--r--lib/utils.js8
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);