give the zeo server some extra time to write the index at shutdown