2019-01-18 10:11:40 +01:00
|
|
|
{
|
|
|
|
|
"port": 8080,
|
2019-01-20 19:50:24 +01:00
|
|
|
"enableinitialrendering": false,
|
2019-01-18 15:56:53 +01:00
|
|
|
"enableincrementalupdate": true,
|
2019-01-18 11:04:37 +01:00
|
|
|
"webdev": true,
|
|
|
|
|
"webapi": {
|
|
|
|
|
"enablemapblock": true
|
|
|
|
|
}
|
2019-01-18 10:11:40 +01:00
|
|
|
}
|
