Skip to content

Commit

Permalink
[8.0.0] Get --repo_env=NAME value from client environment (not serv…
Browse files Browse the repository at this point in the history
…er). (#24441)

Fixes issue where server process would "cache" environment variables.
Broken since 3ebf658 (v5).

Closes #24433.

PiperOrigin-RevId: 698847238
Change-Id: I51d4ec811ee9d78717ff816d9988b4ad0f533265

Commit
a590cfc

Co-authored-by: Jordan Mele <[email protected]>
  • Loading branch information
bazel-io and Silic0nS0ldier authored Nov 21, 2024
1 parent 2db3680 commit e749da2
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -340,7 +340,7 @@ public void exit(AbruptExitException exception) {
String name = entry.getKey();
String value = entry.getValue();
if (value == null) {
value = System.getenv(name);
value = clientEnv.get(name);
}
if (value != null) {
repoEnv.put(name, value);
Expand Down

0 comments on commit e749da2

Please sign in to comment.