Storing pids

Joel Reymont <>
Thu Jan 5 17:33:12 CET 2006

What I want to do is dump the log entries belonging to a certain  
process, so I pass in the pid in the command line as, say, 4005.30.0.  
That goes into a "<4005.30.0>" list and then... I tried to convert it  
to pid but that is not fool-proof and fails sometimes.

On Jan 5, 2006, at 4:20 PM, Per Hedeland wrote:

> Well, the binaries will be unique ("in principle"). Where do you  
> get "a
> certain pid" from, and what form does it have? Something like text
> output giving the three numbers is useless in this situation, as  
> already
> explained. If you just want to traverse the log, picking up new  
> pids and
> all the other entries for the same pid as you go, it doesn't really
> matter what form the pids have, does it?
> --Per


More information about the erlang-questions mailing list