when we restart the provider, we need to not rerun the setup_irods script #12

Closed bh9 closed 4 years ago