Re: [PATCH 2 of 2] chg: change server's process title

2017-01-11 Thread Jun Wu
Excerpts from Yuya Nishihara's message of 2017-01-12 00:03:35 +0900: > On Wed, 11 Jan 2017 09:13:10 +0800, Jun Wu wrote: > > # HG changeset patch > > # User Jun Wu > > # Date 1484091652 -28800 > > # Wed Jan 11 07:40:52 2017 +0800 > > # Node ID

Re: [PATCH 2 of 2] chg: change server's process title

2017-01-11 Thread Yuya Nishihara
On Wed, 11 Jan 2017 09:13:10 +0800, Jun Wu wrote: > # HG changeset patch > # User Jun Wu > # Date 1484091652 -28800 > # Wed Jan 11 07:40:52 2017 +0800 > # Node ID b68bec41a5562c8fa0ed9ac0e94f0c2d6906a2e8 > # Parent a82e9f172feff7ca2380b3db8833ddc64cd35429 > # Available At

Re: [PATCH 2 of 2] chg: change server's process title

2017-01-11 Thread Pierre-Yves David
On 01/11/2017 08:57 AM, Pierre-Yves David wrote: On 01/11/2017 02:13 AM, Jun Wu wrote: # HG changeset patch # User Jun Wu # Date 1484091652 -28800 # Wed Jan 11 07:40:52 2017 +0800 # Node ID b68bec41a5562c8fa0ed9ac0e94f0c2d6906a2e8 # Parent

Re: [PATCH 2 of 2] chg: change server's process title

2017-01-10 Thread Pierre-Yves David
On 01/11/2017 02:13 AM, Jun Wu wrote: # HG changeset patch # User Jun Wu # Date 1484091652 -28800 # Wed Jan 11 07:40:52 2017 +0800 # Node ID b68bec41a5562c8fa0ed9ac0e94f0c2d6906a2e8 # Parent a82e9f172feff7ca2380b3db8833ddc64cd35429 # Available At