Commits

Dmitry Karpeyev
committed
67234432013-12-16

Fix to allow -options_monitor. ThreadComm needs to be initialized before the options monitor is added, as it opens a viewer, which uses PetscCommDuplicate(), which needs ThreadComm keyval.\nMonitors need to be cancelled in PetscFinalize() to release their viewer's memory before -malloc_dump reports it.