Jetty

Default location of JETTY_RUN: add $JETTY_HOME?

Details

  • Type: Improvement Improvement
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: 8.1.2
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Environment:
    Linux
  • Patch Submitted:
    Yes
  • Number of attachments :
    1

Description

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.

Activity

Hide
Permalink
Jan Bartel added a comment -

This issue has been moved to jetty eclipse bugzilla: https://bugs.eclipse.org/bugs/show_bug.cgi?id=396574

Arnout,
Could you please re-attach the patch to the above bugzilla entry, if you're happy that it is still relevant.

thanks
Jan

Show
Jan Bartel added a comment - This issue has been moved to jetty eclipse bugzilla: https://bugs.eclipse.org/bugs/show_bug.cgi?id=396574 Arnout, Could you please re-attach the patch to the above bugzilla entry, if you're happy that it is still relevant. thanks Jan

People

  • Assignee:
    Joakim Erdfelt
    Reporter:
    Arnout Engelen
Vote (0)
Watch (2)

Dates

  • Created:
    Updated:
    Resolved: