From 825da81c934b89d35f4e826199c47b0e7ae77cb6 Mon Sep 17 00:00:00 2001
From: Axel Uhl <axel.uhl@sap.com>
Date: Mon, 2 Mar 2015 21:06:49 +0100
Subject: [PATCH] ignore case-only changes when comparing leaderboard groups
 for their loaded-ness state

---
 java/target/compareServers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/target/compareServers b/java/target/compareServers
index 0ed959b304a..476f70b470a 100755
--- a/java/target/compareServers
+++ b/java/target/compareServers
@@ -15,7 +15,7 @@ if [ "$?" = "0" ]; then
   cat leaderboardgroups.old.sed | while read i; do
     wget -O - "${OLDSERVER}/sailingserver/api/v1/leaderboardgroups/`echo $i | sed -e 's/ /%20/g'`" | python -m json.tool >"$i.old.json"
     wget -O - "${NEWSERVER}/sailingserver/api/v1/leaderboardgroups/`echo $i | sed -e 's/ /%20/g'`" | python -m json.tool >"$i.new.json" 
-    diff -b -B "$i.old.json" "$i.new.json"
+    diff -b -i -B "$i.old.json" "$i.new.json"
     DIFFRESULT=$?
     if [ "$DIFFRESULT" != "0" ]; then
       echo "Difference detected in leaderboard group $i; exiting"