2015-08-14 15:06:16 -07:00
|
|
|
$SCRIPTS$
|
|
|
|
|
2015-08-18 10:32:23 -07:00
|
|
|
System.config({
|
|
|
|
baseURL: '/',
|
2015-09-11 15:38:09 -07:00
|
|
|
defaultJSExtensions: true
|
2015-08-18 10:32:23 -07:00
|
|
|
});
|
2015-08-14 15:06:16 -07:00
|
|
|
|
2015-10-10 00:25:17 +02:00
|
|
|
System.import("playground/src/web_workers/message_broker/background_index")
|
2015-07-10 16:09:18 -07:00
|
|
|
.then(
|
|
|
|
function(m) {
|
|
|
|
try {
|
|
|
|
m.main();
|
|
|
|
} catch (e) {
|
|
|
|
console.error(e);
|
|
|
|
}
|
|
|
|
},
|
|
|
|
function(error) { console.error("error loading background", error); });
|