From ada57605a8127ee25cbb6c2999addf721ab17db1 Mon Sep 17 00:00:00 2001 From: Thomas Lenz Date: Fri, 13 Dec 2019 09:33:04 +0100 Subject: fix problem with old Redis library fix configuration GUI --- .../src/main/webapp/jsp/snippets/OA/targetConfiguration.jsp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'id/ConfigWebTool/src/main/webapp/jsp/snippets/OA/targetConfiguration.jsp') diff --git a/id/ConfigWebTool/src/main/webapp/jsp/snippets/OA/targetConfiguration.jsp b/id/ConfigWebTool/src/main/webapp/jsp/snippets/OA/targetConfiguration.jsp index db79cb7d7..dc093fc36 100644 --- a/id/ConfigWebTool/src/main/webapp/jsp/snippets/OA/targetConfiguration.jsp +++ b/id/ConfigWebTool/src/main/webapp/jsp/snippets/OA/targetConfiguration.jsp @@ -123,7 +123,8 @@ cssClass="checkbox"> - + --> + -- cgit v1.2.3