From 7e5f12832e4d87dda7cde9b073b2a382b1cdcb9d Mon Sep 17 00:00:00 2001

From: Michael Simacek <msimacek@redhat.com>

Date: Tue, 2 Jun 2015 22:52:21 +0200

Subject: [PATCH] Fedora jetty.home

---

 .../java/org/eclipse/jetty/start/config/CommandLineConfigSource.java   | 3 +++

 1 file changed, 3 insertions(+)

diff --git a/jetty-start/src/main/java/org/eclipse/jetty/start/config/CommandLineConfigSource.java b/jetty-start/src/main/java/org/eclipse/jetty/start/config/CommandLineConfigSource.java

index d1facfe..70f0366 100644

--- a/jetty-start/src/main/java/org/eclipse/jetty/start/config/CommandLineConfigSource.java

+++ b/jetty-start/src/main/java/org/eclipse/jetty/start/config/CommandLineConfigSource.java

@@ -120,6 +120,9 @@ public class CommandLineConfigSource implements ConfigSource

                 try

                 {

                     Path home = new File(new URI(m.group(1))).getParentFile().toPath();

+                    if (home.endsWith("/usr/share/java/jetty"))

+                        home = new File(home.toString().replaceAll("java/jetty$", "jetty")).toPath();

+

                     setProperty(BaseHome.JETTY_HOME,home.toString(),ORIGIN_INTERNAL_FALLBACK);

                     return home;

                 }

-- 

2.9.3