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
|
|
|
|
|
|
|
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-08-26 10:17:08 +02:00
|
|
|
});
|