# HG changeset patch
# User fknauft
# Date 1315296731 -7200
# Node ID b5d9237ca4d71f3b4ff4ff779ac3846fa5d2f968
# Parent  5159df776eafbb1949c35da7b67191141c4d8e2e
show line and polygon-layer

diff -r 5159df776eaf -r b5d9237ca4d7 gis_gui/blocks/map.js
--- a/gis_gui/blocks/map.js	Tue Sep 06 10:08:32 2011 +0200
+++ b/gis_gui/blocks/map.js	Tue Sep 06 10:12:11 2011 +0200
@@ -147,6 +147,7 @@
 	dummymarker.setPosition(center);
 	dummymarker.setVisible(false);
 	dummymarker.setMap(map);
+	console.debug("map reloaded");
 	
 };