From ada57605a8127ee25cbb6c2999addf721ab17db1 Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Fri, 13 Dec 2019 09:33:04 +0100
Subject: fix problem with old Redis library fix configuration GUI

---
 id/server/idserverlib/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'id/server/idserverlib')

diff --git a/id/server/idserverlib/pom.xml b/id/server/idserverlib/pom.xml
index 39f6068e4..02069517c 100644
--- a/id/server/idserverlib/pom.xml
+++ b/id/server/idserverlib/pom.xml
@@ -509,7 +509,7 @@
 	    	<groupId>redis.clients</groupId>
 	    	<artifactId>jedis</artifactId>
 	    	<!-- version>3.0.1</version -->
-	    	<version>2.10.2</version>
+	    	<version>3.1.0</version>
 	    </dependency>
 	
 <!-- 	    <dependency>
-- 
cgit v1.2.3