https://bitbucket.org/petsc/petsc/pull-requests/964/logxml-various-enhancements/diff
On Mon, 14 May 2018 at 23:51, Smith, Barry F. wrote:
>I am fine with the suggested changes.
> > On May 13, 2018, at 1:06 PM, Lisandro Dalcin wrote:
> >
> > It took me a while to figure out why my xml -log_
I am fine with the suggested changes.
> On May 13, 2018, at 1:06 PM, Lisandro Dalcin wrote:
>
> It took me a while to figure out why my xml -log_view was empty. Nested XML
> logging and push/pop user-defined stages simply does not work, the
> implementation cannot cope with this usage patter
It took me a while to figure out why my xml -log_view was empty. Nested XML
logging and push/pop user-defined stages simply does not work, the
implementation cannot cope with this usage pattern.
Would it be OK to at ignore push/pop stages if XML is on, and then log
everything in the main stage, to