opendev/gerrit
Code Issues Proposed changes

Merge "Fix Jetty server calling buck with custom PATH"

Browse Source
This commit is contained in:
Shawn Pearce 2013-10-16 17:53:22 +00:00 committed by Gerrit Code Review
commit 21854c9074
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gerrit-pgm/src/main/java/com/google/gerrit/pgm/http/jetty/JettyServer.java
View File

@ -594,7 +594,7 @@ public class JettyServer {
ProcessBuilder proc = new ProcessBuilder(buck, "build", target) ProcessBuilder proc = new ProcessBuilder(buck, "build", target)
.directory(root) .directory(root)
.redirectErrorStream(true); .redirectErrorStream(true);
if (properties.contains("PATH")) { if (properties.containsKey("PATH")) {
proc.environment().put("PATH", properties.getProperty("PATH")); proc.environment().put("PATH", properties.getProperty("PATH"));
} }
long start = TimeUtil.nowMs(); long start = TimeUtil.nowMs();