On 05/13/2014 08:25 PM, Robbie Gemmell wrote:
On 13 May 2014 17:59, Justin Ross <[email protected]> wrote:
On Tue, May 13, 2014 at 12:31 PM, Gordon Sim <[email protected]> wrote:
How about process_name and process_id then?


I like those.  I don't think brevity is important in this case, and those
names are very clear to me.


Works for me too.

Ok, does anyone object to process_name and process_id?


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to