Skip to content

Commit 0d44148

Browse files
bigelephant29copybara-github
authored andcommitted
Log the resource set when set in ResourceManager.
PiperOrigin-RevId: 747788531 Change-Id: Idfc98e40900f2abaf9bb7645c2382bd70bb8a037
1 parent e1e7863 commit 0d44148

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java

+1
Original file line numberDiff line numberDiff line change
@@ -317,6 +317,7 @@ public synchronized void setAvailableResources(ResourceSet resources) {
317317
Preconditions.checkNotNull(resources);
318318
resetResourceUsage();
319319
availableResources = resources;
320+
logger.atInfo().log("Set available resources: %s", resources);
320321
}
321322

322323
public synchronized void scheduleCpuLoadWindowUpdate() {

0 commit comments

Comments
 (0)