[jetty-dev] [jira] (JETTY-1511) Default location of JETTY_RUN: add $JETTY_HOME?

Arnout Engelen created JETTY-1511:
-------------------------------------

             Summary: Default location of JETTY_RUN: add $JETTY_HOME?
                 Key: JETTY-1511
                 URL: https://jira.codehaus.org/browse/JETTY-1511
             Project: Jetty
          Issue Type: Improvement
    Affects Versions: 8.1.2
         Environment: Linux
            Reporter: Arnout Engelen
         Attachments: jetty.sh.patch

Currently JETTY_RUN is the first available location from /var/run /usr/var/run and /tmp.

This can cause some confusion with different instances of jetty interfering with each other. 

I think it would be reasonable to first try to use JETTY_HOME when /var/run and /usr/var/run are not available. 

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://jira.codehaus.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira

        

---------------------------------------------------------------------
To unsubscribe from this list, please visit:

    http://xircles.codehaus.org/manage_email