From abb41d3156efc14a57667ffcfbfa368a491b0dc0 Mon Sep 17 00:00:00 2001
From: Alfredo Serafini <seralf@users.noreply.github.com>
Date: Fri, 19 May 2017 15:42:50 +0200
Subject: [PATCH] updated virtuoso recognition

updated virtuoso recognition: changed regex for "Server" header, which is more reliable than using `/sparql`
---
 src/apps.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/apps.json b/src/apps.json
index d4091bfe8..081fbaef7 100755
--- a/src/apps.json
+++ b/src/apps.json
@@ -8443,7 +8443,7 @@
 			},
 			"url": "^https?://(?:[^\\/]+\\.)?.*?/sparql\\;confidence:20",
 			"headers": {
-				"Server": "^.*Virtuoso\/(\d{2}.\d{2}.\d{4}).*$;version:\\1"
+				"Server": "^.*Virtuoso\\/(\\d{2}\\.\\d{2}\\.\\d{4}).*$;version:\\1"
 			}
 		},
 		"Visual WebGUI": {