From e07b44737e394017fb2c84b867b0df31fb458f4d Mon Sep 17 00:00:00 2001
From: humano <humano@alien.cubil>
Date: Sun, 5 Apr 2020 23:06:56 -0500
Subject: [PATCH] tildes

---
 labmapero.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labmapero.php b/labmapero.php
index 8a0e5b3..5165b4e 100644
--- a/labmapero.php
+++ b/labmapero.php
@@ -208,7 +208,7 @@ $ids = json_decode($otro_json[0]);
 	<link rel="stylesheet" href="librerias/leaflet/dist/MarkerCluster.Default.css" />
 	<script src="librerias/leaflet/dist/leaflet.markercluster-src.js"></script>
 	<script src="librerias/jquery/jquery-2.1.4.min.js"></script>
-	<?php $cadena_busqueda = rawurldecode($_REQUEST['buscar']); ?>
+	<?php $cadena_busqueda = urldecode($_REQUEST['buscar']); ?>
 	<?php
 echo "$cadena_busqueda / $_REQUEST[buscar]" ;
 	?>