Read nodes from a given file, for batch updates when using nodequery and
authorStephen Soltesz <soltesz@cs.princeton.edu>
Tue, 13 May 2008 18:11:59 +0000 (18:11 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Tue, 13 May 2008 18:11:59 +0000 (18:11 +0000)
commitb93294f1bc40cdfe7f5e632577f8d19b24f97c37
treeae20e6ec0fac115db1c475eecb344f23fc774e67
parent976bb7e9697464dec3de37c86cad2d03f1fa4adb
Read nodes from a given file, for batch updates when using nodequery and
nodereboot or grouprins.py
findbad.py