diff options
author | 2015-03-05 14:47:37 +0000 | |
---|---|---|
committer | 2015-03-05 18:31:47 +0000 | |
commit | 07dba941e21619830adcbcae10c5942cf3343f26 (patch) | |
tree | c0e7b1250bf547b20398a0c3a437864b7b915383 /src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java | |
parent | a34d5071784ff51f68714b61f4100c35f1e4db3a (diff) |
Some cleanup changes.
--
MOS_MIGRATED_REVID=87821306
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java b/src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java index db6ed118f6..8e6220c143 100644 --- a/src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java +++ b/src/main/java/com/google/devtools/build/lib/actions/ResourceManager.java @@ -279,7 +279,7 @@ public class ResourceManager { */ public synchronized boolean inUse() { return usedCpu != 0.0 || usedRam != 0.0 || usedIo != 0.0 || usedLocalTestCount != 0 - || requestList.size() > 0; + || !requestList.isEmpty(); } @@ -374,7 +374,7 @@ public class ResourceManager { if (usedIo < epsilon) { usedIo = 0; } - if (requestList.size() > 0) { + if (!requestList.isEmpty()) { processWaitingThreads(); return true; } |