Format of Pids

[Vance Shipley]

On Thu, Jun 05, 2003 at 11:00:11AM +0200, Rickard Green wrote:
}  
}  This is a documentation bug. erl_publish() intentionally drops the
}  creation it receives from epmd (a design flaw in my opinion).


Indeed.  Reading your comments about how creation is skinny'd
down to 2 bits I began to wonder how I could figure out on
startup that I needed to bump up creation to '01'.  The idea
of using get_pid() was a good one but using the last 2 bits 
of that isn't going to provide any guarantees of uniqueness.
Then I realized that epmd can keep track of this stuff and 
of course that's why it does.

Let's call it a bug.  Especially since it's documented.  :)

	-Vance