[java-identity-provider] branch master updated: Bugzid: 1042 Fix Capitalization issue in precious fix

[Rod Widdowson]

This is an automated email from the git hooks/post-receive script.

rdw pushed a commit to branch master
in repository java-identity-provider.

View the commit online:
http://git.shibboleth.net/view/?p=java-identity-provider.git;a=commit;h=c2d35e5334912d66d5e40787b9f43f16d806d2e1

The following commit(s) were added to refs/heads/master by this push:
       new  c2d35e5   Bugzid: 1042 Fix Capitalization issue in precious fix
c2d35e5 is described below

commit c2d35e5334912d66d5e40787b9f43f16d806d2e1
Author: Rod Widdowson <rdw at steadingsoftware.com>
AuthorDate: Wed May 31 11:04:28 2017 +0100

    Bugzid: 1042 Fix Capitalization issue in precious fix
---
 idp-distribution/src/main/resources/bin/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idp-distribution/src/main/resources/bin/build.xml b/idp-distribution/src/main/resources/bin/build.xml
index d30e7f3..17f2742 100644
--- a/idp-distribution/src/main/resources/bin/build.xml
+++ b/idp-distribution/src/main/resources/bin/build.xml
@@ -386,7 +386,7 @@
             <isset property="idp.src.dir" />
         </condition>
     		
-        <condition property="idp.entityid.present">
+        <condition property="idp.entityID.present">
             <!-- capture now before it is overwritten -->
             <isset property="idp.entityID" />
         </condition>

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.