[Monotone-devel] BUG in ...benchmark: server.alive() actually checking server.dead()

[Eric Anderson]

I found a bug in instrumenter.py:alive(). alive() is actually
returning true if the process is dead.  The attached patch fixes this
bug and also makes the checking for aliveness a little faster (it
checks 6 times every half second) so that if there is a problem, it
will exit sooner.
    -Eric

patch-alive-bug
Description: Binary data