James E. Blair 194e025283 Don't trust the delete API. ...

Don't believe the API if it says it deleted a server.  Instead,
wait until the server doesn't show up in the future, and only then,
remove it from the DB.

Change-Id: I76a01f0c8a1e777d203e98d2c3623802634a4bc3

2012-08-02 17:38:03 -07:00

6.3 KiB

Executable File

Raw Blame History

View Raw