[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #33138] .PARLLELSYNC enhancement with patch
From: |
Eli Zaretskii |
Subject: |
Re: [bug #33138] .PARLLELSYNC enhancement with patch |
Date: |
Thu, 25 Apr 2013 05:40:12 +0300 |
> 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?
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, (continued)
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Paul Smith, 2013/04/24
- 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 <=
- Re: [bug #33138] .PARLLELSYNC enhancement with patch, Frank Heckenbach, 2013/04/24
- 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