update source-only part of upstream source-map script
Jonas Smedegaard
3 years ago
debian/missing-sources/source-map-footer_2.0.11.js
less
more
| 0 | |
|
| 1 | |
var emscripten_sourcemap_xmlHttp = undefined;
|
| 2 | |
function emscripten_sourceMapLoaded() {
|
| 3 | |
if (emscripten_sourcemap_xmlHttp.readyState === 4) {
|
| 4 | |
if (emscripten_sourcemap_xmlHttp.status === 200 || emscripten_sourcemap_xmlHttp.status === 0) {
|
| 5 | |
emscripten_source_map = new window.sourceMap.SourceMapConsumer(emscripten_sourcemap_xmlHttp.responseText);
|
| 6 | |
console.log('Source map data loaded.');
|
| 7 | |
} else {
|
| 8 | |
console.warn('Source map data loading failed with status code ' + emscripten_sourcemap_xmlHttp.status + '.');
|
| 9 | |
}
|
| 10 | |
emscripten_sourcemap_xmlHttp = undefined;
|
| 11 | |
removeRunDependency('sourcemap');
|
| 12 | |
}
|
| 13 | |
}
|
| 14 | |
function emscripten_loadSourceMap() {
|
| 15 | |
var url = window.location.href.replace(/\.[^.]+$/, '.wasm.map');
|
| 16 | |
console.log('Loading source map data from ' + url + '..');
|
| 17 | |
addRunDependency('sourcemap');
|
| 18 | |
emscripten_sourcemap_xmlHttp = new XMLHttpRequest();
|
| 19 | |
emscripten_sourcemap_xmlHttp.onreadystatechange = emscripten_sourceMapLoaded;
|
| 20 | |
emscripten_sourcemap_xmlHttp.open("GET", url, true);
|
| 21 | |
emscripten_sourcemap_xmlHttp.responseType = "text";
|
| 22 | |
emscripten_sourcemap_xmlHttp.send(null);
|
| 23 | |
}
|
| 24 | |
|
| 25 | |
var Module;
|
| 26 | |
if (Module['preRun'] instanceof Array) {
|
| 27 | |
Module['preRun'].push(emscripten_loadSourceMap);
|
| 28 | |
} else {
|
| 29 | |
Module['preRun'] = [emscripten_loadSourceMap];
|
| 30 | |
}
|
|
0 |
|
|
1 |
var emscripten_sourcemap_xmlHttp = undefined;
|
|
2 |
function emscripten_sourceMapLoaded() {
|
|
3 |
if (emscripten_sourcemap_xmlHttp.readyState === 4) {
|
|
4 |
if (emscripten_sourcemap_xmlHttp.status === 200 || emscripten_sourcemap_xmlHttp.status === 0) {
|
|
5 |
emscripten_source_map = new window.sourceMap.SourceMapConsumer(emscripten_sourcemap_xmlHttp.responseText);
|
|
6 |
console.log('Source map data loaded.');
|
|
7 |
} else {
|
|
8 |
console.warn('Source map data loading failed with status code ' + emscripten_sourcemap_xmlHttp.status + '.');
|
|
9 |
}
|
|
10 |
emscripten_sourcemap_xmlHttp = undefined;
|
|
11 |
removeRunDependency('sourcemap');
|
|
12 |
}
|
|
13 |
}
|
|
14 |
function emscripten_loadSourceMap() {
|
|
15 |
var url = window.location.href.replace(/\.[^.]+$/, '.wasm.map');
|
|
16 |
console.log('Loading source map data from ' + url + '..');
|
|
17 |
addRunDependency('sourcemap');
|
|
18 |
emscripten_sourcemap_xmlHttp = new XMLHttpRequest();
|
|
19 |
emscripten_sourcemap_xmlHttp.onreadystatechange = emscripten_sourceMapLoaded;
|
|
20 |
emscripten_sourcemap_xmlHttp.open("GET", url, true);
|
|
21 |
emscripten_sourcemap_xmlHttp.responseType = "text";
|
|
22 |
emscripten_sourcemap_xmlHttp.send(null);
|
|
23 |
}
|
|
24 |
|
|
25 |
var Module;
|
|
26 |
if (Module['preRun'] instanceof Array) {
|
|
27 |
Module['preRun'].push(emscripten_loadSourceMap);
|
|
28 |
} else {
|
|
29 |
Module['preRun'] = [emscripten_loadSourceMap];
|
|
30 |
}
|