more restrictive parsing of lat/lon

Require a decimal point in both numbers to avoid cases like
https://trac.openstreetmap.org/ticket/4884

diff --git a/website/search.php b/website/search.php
index 18fcbafcc370657d86e499816df147750ae37967..272324b19e6853a533928853fa6f40e76aae2652 100755 (executable)
--- a/website/search.php
+++ b/website/search.php
@@ -266,7 +266,7 @@
                                $sQuery = trim(str_replace($aData[0], ' ', $sQuery));
                        }
                }
                                $sQuery = trim(str_replace($aData[0], ' ', $sQuery));
                        }
                }

-               elseif (preg_match('/(\\[|^|\\b)(-?[0-9]+[0-9.]*)[, ]+(-?[0-9]+[0-9.]*)(\\]|$|\\b)/', $sQuery, $aData))
+               elseif (preg_match('/(\\[|^|\\b)(-?[0-9]+[0-9]*\\.[0-9]+)[, ]+(-?[0-9]+[0-9]*\\.[0-9]+)(\\]|$|\\b)/', $sQuery, $aData))

                {
                        $fQueryLat = $aData[2];
                        $fQueryLon = $aData[3];
                {
                        $fQueryLat = $aData[2];
                        $fQueryLon = $aData[3];