Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Jetty webdefault.xml #1

Merged
4 commits merged into from
Oct 9, 2010
Merged

Jetty webdefault.xml #1

4 commits merged into from
Oct 9, 2010

Commits on Jul 7, 2010

  1. Configure jetty-env.xml. Allows specifying JNDI datasources. Inspired… 

    … by maven-jetty-plugin.

Only takes effect when jettyEnvXml equals Some[File], by default None.
Tested with jrebel.
    @tbje
    tbje committed Jul 7, 2010
    Configuration menu
    Copy the full SHA
    6aa4303 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2010

  1. Adding test for jetty-env.xml support in jetty.

    @tbje
    tbje committed Aug 12, 2010
    Configuration menu
    Copy the full SHA
    ea9ffc5 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2010

  1. Merge remote branch 'harrah/master'

    @tbje
    tbje committed Oct 5, 2010
    Configuration menu
    Copy the full SHA
    f913d63 View commit details
    Browse the repository at this point in the history

  2. Allow specifying webdefault.xml for jetty. Useful on windows for fixi… 

    …ng file locking issue.
    @tbje
    tbje committed Oct 5, 2010
    Configuration menu
    Copy the full SHA
    030e2ee View commit details
    Browse the repository at this point in the history