Corrected a bug in PP2P with more than two processes on the same session.
commited71a2f967afb82953394c67d23d8419dcbc524f
authorYves Jaradin <yves@yves-laptop.(none)>
Fri, 29 Apr 2011 13:25:39 +0000 (29 15:25 +0200)
committerYves Jaradin <yves@yves-laptop.(none)>
Fri, 29 Apr 2011 13:25:39 +0000 (29 15:25 +0200)
treeb4a0e5bd74a72e7004a44f916a9ee061486db396
parentbe2f41c2518d959ba9da84c4adbff2ac2c12b858
Corrected a bug in PP2P with more than two processes on the same session.
Dist.oz