diff options
author | Partouf <partouf@gmail.com> | 2020-05-29 16:41:27 +0200 |
---|---|---|
committer | Partouf <partouf@gmail.com> | 2020-05-29 16:41:27 +0200 |
commit | aac49c3e4aed25c04ebd8190e3f78ff511d466b7 (patch) | |
tree | 91befa29da0f25193facae2353f23117a3c183f4 /lib/utils.js | |
parent | 2cae24f7b1b2dbf480a5164d76633937643e131b (diff) | |
download | compiler-explorer-aac49c3e4aed25c04ebd8190e3f78ff511d466b7.tar.gz compiler-explorer-aac49c3e4aed25c04ebd8190e3f78ff511d466b7.zip |
change to support ce user
Diffstat (limited to 'lib/utils.js')
-rw-r--r-- | lib/utils.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/utils.js b/lib/utils.js index 8afa0c743..9c2bec8b1 100644 --- a/lib/utils.js +++ b/lib/utils.js @@ -67,6 +67,7 @@ function parseOutput(lines, inputFilename, pathPrefix) { if (inputFilename.indexOf('./') === 0) { line = line.split('/home/ubuntu/' + inputFilename.substr(2)).join('<source>'); + line = line.split('/home/ce/' + inputFilename.substr(2)).join('<source>'); } } if (line !== null) { |