Clear Intervals cache when we are done with it

2020-08-13 16:45:43 +02:00 · 2020-08-13 16:45:43 +02:00 · 00e268cdbf
parent 071350286f
commit 00e268cdbf
1 changed files with 2 additions and 0 deletions
--- a/src/Composer/DependencyResolver/PoolBuilder.php
+++ b/src/Composer/DependencyResolver/PoolBuilder.php
@ -238,6 +238,8 @@ class PoolBuilder
        $this->skippedLoad = array();
        $this->indexCounter = 0;

+        Intervals::clear();
+
        return $pool;
    }