From 7d3c0e4f58472275dd5a20425d3c2e881a0d4a04 Mon Sep 17 00:00:00 2001
From: philipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Date: Sat, 14 Sep 2013 20:04:18 +0000
Subject: [PATCH] The line width is checked now.

git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrmap/trunk@1582 7aebc617-e5e2-0310-91dc-80fb5f6d2477
---
 wrmap.body.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/wrmap.body.php b/wrmap.body.php
index ea26cf8..753d5cd 100644
--- a/wrmap.body.php
+++ b/wrmap.body.php
@@ -105,7 +105,12 @@ function xml_to_json_features($input) {
 					throw new Exception('Die Farbangabe der Linie hat ein falsches Format. Sie muss z.B. so aussehen: #a200b7.');
 				$properties['strokeColor'] = $color;
 			}
-			if (isset($feature['dicke'])) $properties['strokeWidth'] = (int) $feature['dicke']; // e.g. 6 // TODO: Check
+			if (isset($feature['dicke'])) {
+				$stroke_width = (int) $feature['dicke']; // e.g. 6
+				if (((string) $stroke_width) !== (string) $feature['dicke'])
+					throw new Exception('Die Angabe der Liniendicke hat ein falsches Format. Sie muss eine ganze Zahl wie z.B. 6 sein.');
+				$properties['strokeWidth'] = $stroke_width;
+			}
 			$json_feature = array(
 				'type' => 'feature',
 				'geometry' => array(
-- 
2.39.5