[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #33138] .PARLLELSYNC enhancement with patch
From: |
Frank Heckenbach |
Subject: |
Re: [bug #33138] .PARLLELSYNC enhancement with patch |
Date: |
Thu, 25 Apr 2013 04:46:43 +0200 |
Eli Zaretskii wrote:
> > From: Paul Smith <address@hidden>
> > Cc: Frank Heckenbach <address@hidden>, address@hidden
> > Date: Wed, 24 Apr 2013 16:03:56 -0400
> >
> > > Or maybe we should abandon this optimization and take the lock
> > > regardless. How bad can that be?
> >
> > Well, we want to know if the file has any content anyway: for example we
> > don't want to output the enter/leave notifications if there's nothing to
> > print.
>
> Why not?
To avoid clutter. There are probably still too many of these
messages anyway, as discussed before.
Note, we still give the regular enter/leave messages as we do
without output-sync, so no information is lost. We just avoid
additional enter/leave messages with nothing in between.
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, (continued)
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Tim Murphy, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/24
- Message not available
- Fwd: [bug #33138] .PARLLELSYNC enhancement with patch, Tim Murphy, 2013/04/25
- Re: Fwd: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/25
- Re: Fwd: [bug #33138] .PARLLELSYNC enhancement with patch, Tim Murphy, 2013/04/25
- Re: Fwd: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/25
- Re: Fwd: [bug #33138] .PARLLELSYNC enhancement with patch, Tim Murphy, 2013/04/26
- Re: Fwd: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/26
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/24
- Message not available
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch,
Frank Heckenbach <=
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/23
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/21
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, David Boyce, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/18
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Tim Murphy, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, David Boyce, 2013/04/24
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Eli Zaretskii, 2013/04/24