Skip to content

Commit

Permalink
Get --repo_env=NAME value from client environment (not server).
Browse files Browse the repository at this point in the history
Fixes issue where server process would "cache" environment variables. Broken since 3ebf658 (v5).

Closes bazelbuild#24433.

PiperOrigin-RevId: 698847238
Change-Id: I51d4ec811ee9d78717ff816d9988b4ad0f533265
  • Loading branch information
Silic0nS0ldier authored and copybara-github committed Nov 21, 2024
1 parent 27a5e45 commit a590cfc
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 a590cfc

Please sign in to comment.