[java-idp-plugin-jetty] branch dev/BatfileWIP updated (925cadc -> 4ba43f8)

[Rod Widdowson]

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

rdw pushed a change to branch dev/BatfileWIP
in repository java-idp-plugin-jetty.

 discard 925cadc  fff
 discard d960fab  mmm
 discard e931e45  Push WIP into a dev branch
     new 9b28006  JJETTY-17 Bugs in early alpha of version 2
     new 4ba43f8  WIP

This update added new revisions after undoing existing revisions.
That is to say, some revisions that were in the old version of the
branch are not in the new version.  This situation occurs
when a user --force pushes a change and generates a repository
containing something like this:

 * -- * -- B -- O -- O -- O   (925cadc)
            \
             N -- N -- N   refs/heads/dev/BatfileWIP (4ba43f8)

You should already have received notification emails for all of the O
revisions, and so the following emails describe only the N revisions
from the common base, B.

Any revisions marked "omit" are not gone; other references still
refer to them.  Any revisions marked "discard" are gone forever.

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 .../resources/net/shibboleth/idp/module/jetty/downloadjetty.bat  | 9 ++++++++-
 .../resources/net/shibboleth/idp/module/jetty/downloadjetty.sh   | 9 ++++++++-
 .../net/shibboleth/idp/module/jetty/downloadprocrun.bat          | 9 ++++++++-
 .../resources/net/shibboleth/idp/module/jetty/module.properties  | 2 +-
 4 files changed, 25 insertions(+), 4 deletions(-)

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