• Fardale's avatar
    Fix race condition in end_job function · 7d59031e
    Fardale authored
    The end_job function was calling Lwt.pause between the selection of the
    node and its update which was making capacity of the node to decrease.
    7d59031e
Name
Last commit
Last update
src Loading commit data...
dune-project Loading commit data...
ocluster.opam Loading commit data...