Copying across fix for #1547 from trunk

diff --git a/public/javascripts/map.js b/public/javascripts/map.js
index fcf34336f7dbb23d55aa1eb151e8dea967967252..608f4c264a166fa5dfb54521c7bd87c25d14b03f 100644 (file)
--- a/public/javascripts/map.js
+++ b/public/javascripts/map.js
@@ -134,6 +134,7 @@ function getMapCenter(center, zoom) {
 }
 
 function setMapCenter(center, zoom) {
 }
 
 function setMapCenter(center, zoom) {

+   zoom = parseInt(zoom);

    var numzoom = map.getNumZoomLevels();
    if (zoom >= numzoom) zoom = numzoom - 1;
    map.setCenter(center.clone().transform(epsg4326, map.getProjectionObject()), zoom);
    var numzoom = map.getNumZoomLevels();
    if (zoom >= numzoom) zoom = numzoom - 1;
    map.setCenter(center.clone().transform(epsg4326, map.getProjectionObject()), zoom);