PR #3863 Catch exception in checkTerms if no ID server

Catch exception in checkTerms if no ID server #3863

dbkr merged 1 commit into develop from dbkr/catch_exception_checkterms

Catch exception in checkTerms if no ID server

03cb7686

dbkr requested a review 6 years ago

jryans approved these changes on 2020-01-17

dbkr merged 158bf3d1 into develop 6 years ago

Reviewers

jryans

Assignees

No one assigned

Labels

None yet

Milestone

No milestone