From 73c5d1fbc23047f628da95a724aa6b61af3b44d5 Mon Sep 17 00:00:00 2001
From: Comment <tim@gray.(none)>
Date: Mon, 20 May 2013 22:19:37 +0100
Subject: tidying up

---
 map.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'map.js')

diff --git a/map.js b/map.js
index 169a0ee..1300e00 100755
--- a/map.js
+++ b/map.js
@@ -610,7 +610,7 @@ function shadowbox(n) {
 	Shadowbox.open({content:"./photos/"+n+".jpg",player: "img",title:markers['Building'][n].name});
 }
 function onsearch(query) {
-	if (/^\d/.test(query)) {
+	if (/^[0-9]+$/.test(query)) { //^\d
 		show_building(query);
 	}
 	else 
-- 
cgit v1.2.3