mapserver/mapserver.json

{
	"port": 8080,
	"enableinitialrendering": false,
	"webdev": false
}