[petsc-dev] PetscOptionsBegin etc all use global variables

[Barry Smith]

  hence are not thread safe. Is there any decent way to deal with this?

   Barry