Suppress occasional failure of final DROP DATABASE due to

race condition --- old backend may not have shut down by the time we
try to do the DROP.