From 74607145f26772b86c4a2251f94a764454dde72f Mon Sep 17 00:00:00 2001
From: George Kaklamanos <gkaklas1@gmail.com>
Date: Sun, 19 Jul 2015 11:54:17 +0300
Subject: [PATCH] Changed the id of the map div.

---
 map.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/map.php b/map.php
index bdd4974..c6c0e58 100644
--- a/map.php
+++ b/map.php
@@ -4,10 +4,10 @@
 <?php
 function ShowMap($lat,$lon){
     echo '<div style="display:none;"><div id="marker" style="width:10px;height:10px;border-radius:50%;background-color:#ff0000;opacity:0.6;"></div></div>';
-    echo '<div id="map" style="width:300px;height:300px;overflow:hidden;"></div>';
+    echo '<div id="mymap" style="width:300px;height:300px;overflow:hidden;"></div>';
     echo '<script>';
     echo 'var pos = new ol.proj.fromLonLat([' . $lon . ', ' . $lat . ']);';
-    echo 'var map = new ol.Map({target:"map"});';
+    echo 'var map = new ol.Map({target:"mymap"});';
     echo 'var osmSource = new ol.source.OSM();';
     echo 'var myview = new ol.View({center: pos, zoom: 12});';
     echo 'map.setView(myview);';