From b487275d5bf1b383d789c5c29ec90a9de33f2f7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89ric=20Lemoine?= <eric.lemoine@gmail.com>
Date: Thu, 7 Mar 2013 13:37:48 +0100
Subject: [PATCH] Round image height and width for WMS

---
 src/ol/source/wms.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ol/source/wms.js b/src/ol/source/wms.js
index f076c75c59..d81e822549 100644
--- a/src/ol/source/wms.js
+++ b/src/ol/source/wms.js
@@ -17,8 +17,8 @@ ol.source.wms.getUrl =
     'REQUEST': 'GetMap',
     'FORMAT': 'image/png',
     'TRANSPARENT': true,
-    'WIDTH': size.width,
-    'HEIGHT': size.height
+    'WIDTH': Math.round(size.width),
+    'HEIGHT': Math.round(size.height)
   };
   goog.object.extend(baseParams, params);