handling another file+line case: "filename on 123"

This commit is contained in:
Andrey Grinenko
2015-03-13 17:59:46 +03:00
parent c6058959e3
commit 669827653e
2 changed files with 12 additions and 12 deletions

View File

@@ -1153,11 +1153,11 @@ var ICEcoder = {
var shortURL, canOpenFile;
var line = 1;
if ("undefined" != typeof fileLink) {
var re = /^([^ ]*)\s+(on\s+)?line\s+(\d+)/;
var re = /^([^ ]*)\s+(on\s+)?(line\s+)?(\d+)/;
var reMatch = re.exec(fileLink);
if (null !== reMatch)
{
line = reMatch[3];
line = reMatch[4];
fileLink = reMatch[1];
} else if (fileLink.indexOf(':') > 0){
line = fileLink.split(':')[1];
@@ -3401,4 +3401,4 @@ var ICEcoder = {
top.ICEcoder.focus(top.ICEcoder.editorFocusInstance.indexOf('diff') > -1 ? true : false);
}
}
};
};