The line width is checked now.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Sat, 14 Sep 2013 20:04:18 +0000 (20:04 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Sat, 14 Sep 2013 20:04:18 +0000 (20:04 +0000)
git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrmap/trunk@1582 7aebc617-e5e2-0310-91dc-80fb5f6d2477

wrmap.body.php

index ea26cf8eb368fef3c655353e49c43b39b25d0231..753d5cd3d263846ddeb3a43f62c84a2f491d9058 100644 (file)
@@ -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(