hydra-queue-runner: Recycle finishedDrvs

[?]
Mar 8, 2016, 10:52 AM
YE6LD6MFLWQA3HUAKR552GJMGDQI76CNBQKLBCMQA6HTY5IN2RLQC

Dependencies

  • [2] MHVIT4JY Split hydra-queue-runner.cc more
  • [3] YFD6CBV3 hydra-queue-runner: Fix handling of missing derivations
  • [4] VQISTKOP hydra-queue-runner: Use substitutes
  • [5] 73YR46NJ hydra-queue-runner: Write directly to a binary cache

Change contents

  • edit in src/hydra-queue-runner/queue-monitor.cc at line 117
    [2.22981]
    [2.22981]
    std::set<Path> finishedDrvs;
  • edit in src/hydra-queue-runner/queue-monitor.cc at line 143
    [2.23973][2.23973:24028]()
    std::set<Path> finishedDrvs; // FIXME: re-use?