process n: prefix from log system when running in serial

[Anders Logg]

The log system add a prefix "process n:" even when running in serial.

[Garth Wells (garth-wells)]

This can't be critical. It doesn't break anything.

[Anders Logg (logg)]

On Thu, Nov 10, 2011 at 07:30:29PM -0000, Garth Wells wrote:
> This can't be critical. It doesn't break anything.
>
> ** Changed in: dolfin
> Importance: Critical => Medium

I find the "process 0:" terribly annoying so for me it breaks the
experience.

--
Anders

[Martin Sandve Alnæs (martinal)]

On 10 November 2011 20:45, Anders Logg <email address hidden> wrote:
> On Thu, Nov 10, 2011 at 07:30:29PM -0000, Garth Wells wrote:
>> This can't be critical. It doesn't break anything.
>>
>> ** Changed in: dolfin
>>    Importance: Critical => Medium
>
> I find the "process 0:" terribly annoying so for me it breaks the
> experience.

Agree with Garth here, 'annoying' is hardly 'critical' :)
Critical should be showstoppers. I think medium is generous.

Martin

> --
> Anders
>
> --
> You received this bug notification because you are a member of DOLFIN
> Core Team, which is subscribed to DOLFIN.
> https://bugs.launchpad.net/bugs/888691
>
> Title:
>  process n: prefix from log system when running in serial
>
> Status in DOLFIN:
>  Confirmed
>
> Bug description:
>  The log system add a prefix "process n:" even when running in serial.
>
> To manage notifications about this bug go to:
> https://bugs.launchpad.net/dolfin/+bug/888691/+subscriptions
>

[Anders Logg (logg)]

On Thu, Nov 10, 2011 at 07:53:02PM -0000, Martin Sandve Alnæs wrote:
> On 10 November 2011 20:45, Anders Logg <email address hidden> wrote:
> > On Thu, Nov 10, 2011 at 07:30:29PM -0000, Garth Wells wrote:
> >> This can't be critical. It doesn't break anything.
> >>
> >> ** Changed in: dolfin
> >>    Importance: Critical => Medium
> >
> > I find the "process 0:" terribly annoying so for me it breaks the
> > experience.
>
> Agree with Garth here, 'annoying' is hardly 'critical' :)
> Critical should be showstoppers. I think medium is generous.

It's a matter of taste and priorities. My taste is different.
But does it matter? I will fix the bug anyway before -rc1.

--
Anders