2019-06-11 15:01:16 +02:00
|
|
|
|
|
|
|
import { getConfig } from './api.js';
|
2019-08-26 10:17:08 +02:00
|
|
|
import routes from './routes.js';
|
|
|
|
import wsChannel from './WebSocketChannel.js';
|
|
|
|
import config from './config.js';
|
2019-08-30 10:59:55 +02:00
|
|
|
import { hashCompat } from './compat.js';
|
2019-09-18 11:53:58 +02:00
|
|
|
import layerManager from './LayerManager.js';
|
2019-06-11 15:01:16 +02:00
|
|
|
|
2019-08-30 10:59:55 +02:00
|
|
|
// hash route compat
|
|
|
|
hashCompat();
|
2019-08-26 10:17:08 +02:00
|
|
|
|
2019-12-01 18:26:35 +01:00
|
|
|
getConfig()
|
|
|
|
.then(cfg => {
|
2019-09-01 11:56:45 +02:00
|
|
|
layerManager.setup(cfg.layers);
|
2019-08-26 10:17:08 +02:00
|
|
|
config.set(cfg);
|
|
|
|
wsChannel.connect();
|
2019-08-30 10:59:55 +02:00
|
|
|
m.route(document.getElementById("app"), "/map/0/12/0/0", routes);
|
2019-12-01 18:26:35 +01:00
|
|
|
})
|
|
|
|
.catch(e => {
|
2019-12-01 20:00:51 +01:00
|
|
|
document.getElementById("app").innerHTML = e;
|
2019-08-26 10:17:08 +02:00
|
|
|
});
|