Server port defaults to 3456 unless a config property is found specifying it.