organizacion

This commit is contained in:
humano 2020-04-24 14:39:48 -05:00
parent d07e955ddb
commit e25e18eb5e
1 changed files with 6 additions and 15 deletions

View File

@ -249,46 +249,37 @@ print $css_adicional;
<hr> <hr>
<label id='formulario_descripcion_mapa'><?php echo "$formulario_descripcion[0]"; ?></label> <label id='formulario_descripcion_mapa'><?php echo "$formulario_descripcion[0]"; ?></label>
<center> <center>
<span class="label label-warning"><?php echo $mapa_aviso; ?></span> <span class="label label-warning"><?php echo $mapa_aviso; ?></span>
</center> </center>
<hr> <hr>
<div id='div_categorias'> <div id='div_categorias'>
<?php echo $categorias; ?> <?php echo $categorias; ?>
</div> </div>
</div> </div>
<div class="leaflet-sidebar-pane" id="search"> <div class="leaflet-sidebar-pane" id="search">
<label><h1>Buscar en el Mapa</label> <label><h1>Buscar en el Mapa</label>
<?php echo $buscador; ?> <?php echo $buscador; ?>
</div> </div>
</div> </div>
</div> </div>
<div id="map" title='<?php echo $mapa_aviso; ?>'><div class='text-center'><br><br><br><br><img src='images/load.gif'></div></div> <div id="map" title='<?php echo $mapa_aviso; ?>'><div class='text-center'><br><br><br><br><img src='images/load.gif'></div></div>
<script src="librerias/leaflet/leaflet.js" crossorigin=""></script> <script src="librerias/leaflet/leaflet.js" crossorigin=""></script>
<script src="librerias/leaflet/leaflet-providers.js"></script> <script src="librerias/leaflet/leaflet-providers.js"></script>
<script src="librerias/leaflet/js/leaflet-sidebar.js"></script> <script src="librerias/leaflet/js/leaflet-sidebar.js"></script>
<link rel="stylesheet" href="librerias/leaflet/dist/MarkerCluster.css" /> <link rel="stylesheet" href="librerias/leaflet/dist/MarkerCluster.css" />
<link rel="stylesheet" href="librerias/leaflet/dist/MarkerCluster.Default.css" /> <link rel="stylesheet" href="librerias/leaflet/dist/MarkerCluster.Default.css" />
<script src="librerias/leaflet/dist/leaflet.markercluster-src.js"></script> <script src="librerias/leaflet/dist/leaflet.markercluster-src.js"></script>
<script src="https://code.jquery.com/jquery-3.3.1.js" ></script> <script src="https://code.jquery.com/jquery-3.3.1.js" ></script>
<script src="./librerias/bootstrap/js/bootstrap.min.js" ></script> <script src="./librerias/bootstrap/js/bootstrap.min.js" ></script>
<!-- <script src="librerias/jquery/jquery-2.1.4.min.js"></script> --> <!-- <script src="librerias/jquery/jquery-2.1.4.min.js"></script> -->
<?php $cadena_busqueda = $_REQUEST['buscar']; <?php $cadena_busqueda = $_REQUEST['buscar'];
if(isset($_REQUEST['buscar'])){ if(isset($_REQUEST['buscar'])){
$geojson = "milfs/geojson.js.php?id=$_REQUEST[id]&buscar=$cadena_busqueda&item=$_REQUEST[item]"; $geojson = "milfs/geojson.js.php?id=$_REQUEST[id]&buscar=$cadena_busqueda&item=$_REQUEST[item]";
}else{ }else{
$nombre_geojson = "cache/geojson_$_REQUEST[id].json"; $nombre_geojson = "cache/geojson_$_REQUEST[id].json";
if (is_readable($nombre_geojson)) { if (is_readable($nombre_geojson)) {
$geojson= "$nombre_geojson"; $geojson= "$nombre_geojson";
} else { } else {
$geojson= "milfs/geojson.js.php?id=$_REQUEST[id]"; $geojson= "milfs/geojson.js.php?id=$_REQUEST[id]";
} }