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

Reply via email to