It's a `do { } while()`. Once you set the property, it will remain set. It won't matter for the second thread, I don't believe (WPRP will try ZipArchive again and then fall back).