Jetty
  1. Jetty
  2. JETTY-1511

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
        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
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved: