git.arvados.org - arvados.git/commit

]> git.arvados.org - arvados.git/commit

projects / arvados.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4468424) | patch

author	Brett Smith <brett@curoverse.com>
	Mon, 11 May 2015 20:51:29 +0000 (16:51 -0400)
committer	Brett Smith <brett@curoverse.com>
	Mon, 11 May 2015 21:48:33 +0000 (17:48 -0400)
commit	b5d3c559df7250ab7106adc2ded7f38dc666cf9c
tree	8eb22afaa1c558ec5a7b6a551279bd845a13d9ea	tree \| snapshot
parent	44684242aba028470311a4991dcd1456df5c84fd	commit \| diff

5736: Node Manager cleans node records after shutting down a paired node.

This is an easy case to handle, and helps avoid exhausting SLURM
slot numbers.