tree 44a52ff7d74761eec07a02cdc283e9e99cc76cae
parent 7141b33ba6880eed81545f45db5b5339771c52ed
author David Kranz <david.kranz@qrclab.com> 1338411849 -0400
committer David Kranz <david.kranz@qrclab.com> 1338467781 -0400

Wait for server to be deleted before reboot/rebuild. Fixes bug 1006586.

Change-Id: I000d06fb3f7200b819e62cabbf7a43ef13eb8d7c