sön 2010-02-21 klockan 00:52 -0700 skrev Alex Rousskov:
> I agree that number and name do not match well. I struggled with this. I
> did not want to use process_id to avoid the clash with system PID. Just
> "process" sounds too generic and difficult to extend though. Would
> process_number be better than process_name? Any other ideas?
Does it need to be a number?
Regards
Henrik
Received on Sun Feb 21 2010 - 21:36:11 MST
This archive was generated by hypermail 2.2.0 : Mon Feb 22 2010 - 12:00:07 MST