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

> On Aug 11, 2016, at 09:55, Yuya Nishihara wrote: > >> On Thu, 11 Aug 2016 17:24:36 +0100, Jun Wu wrote: >> Excerpts from Yuya Nishihara's message of 2016-08-11 23:28:20 +0900: On Wed, 10 Aug 2016 18:30:00 +0100, Jun Wu wrote: # HG changeset patch # User Jun Wu

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

Excerpts from Yuya Nishihara's message of 2016-08-12 09:26:37 +0900: > On Thu, 11 Aug 2016 18:28:09 +0100, Jun Wu wrote: > > Excerpts from Yuya Nishihara's message of 2016-08-12 01:55:44 +0900: > > > Maybe we'll need setproctitle() equivalent for Linux which will update > > > argv? > > > > That

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

Excerpts from Yuya Nishihara's message of 2016-08-12 01:55:44 +0900: > Maybe we'll need setproctitle() equivalent for Linux which will update argv? That would be probably rewriting argv[0], afaik. I think it is impossible to get the "argv" pointer in a reasonable way. > 16-char limitation of

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

Excerpts from Yuya Nishihara's message of 2016-08-11 23:28:20 +0900: > On Wed, 10 Aug 2016 18:30:00 +0100, Jun Wu wrote: > > # HG changeset patch > > # User Jun Wu > > # Date 1470849617 -3600 > > # Wed Aug 10 18:20:17 2016 +0100 > > # Node ID

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

> On Aug 11, 2016, at 07:28, Yuya Nishihara wrote: > >> On Wed, 10 Aug 2016 18:30:00 +0100, Jun Wu wrote: >> # HG changeset patch >> # User Jun Wu >> # Date 1470849617 -3600 >> # Wed Aug 10 18:20:17 2016 +0100 >> # Node ID

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

On Wed, 10 Aug 2016 18:30:00 +0100, Jun Wu wrote: > # HG changeset patch > # User Jun Wu > # Date 1470849617 -3600 > # Wed Aug 10 18:20:17 2016 +0100 > # Node ID e7c880aa65ef1cdf00ffe0db27d4365294cb6a62 > # Parent 7472b38c08ca30af74668f41056afbd065887c04 > # Available At