From 4d8e8050bd1940e8e1913ec62f6c959a088ff128 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Tue, 27 Aug 2019 08:48:02 -0500
Subject: [PATCH] Fixes #4007 - using `user.home` system property instead of
 $HOME

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
---
 .../src/main/java/org/eclipse/jetty/start/StartArgs.java        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jetty-start/src/main/java/org/eclipse/jetty/start/StartArgs.java b/jetty-start/src/main/java/org/eclipse/jetty/start/StartArgs.java
index 028f5d7fdd3..09cf73b011d 100644
--- a/jetty-start/src/main/java/org/eclipse/jetty/start/StartArgs.java
+++ b/jetty-start/src/main/java/org/eclipse/jetty/start/StartArgs.java
@@ -842,7 +842,7 @@ public class StartArgs
         if (Utils.isBlank(localRepo))
         {
             // Try generic env variable
-            Path home = Paths.get(System.getenv("HOME"));
+            Path home = Paths.get(System.getProperty("user.home"));
             Path localMavenRepository = home.resolve(".m2/repository");
             if (Files.exists(localMavenRepository))
                 localRepo = localMavenRepository.toString();