Use getpid() instead of rand() to ensure unique channel names. - Githubissues

ucb-bar / chisel2-deprecated

chisel.eecs.berkeley.edu

388 stars 90 forks source link

Use getpid() instead of rand() to ensure unique channel names. #604

Closed ucbjrl closed 8 years ago

ucbjrl commented 8 years ago

Follow comment and recommendation for #600, #601.