http://hg.impredicative.com/urweb/atom-log/tip/tests/channelThief.urUr/Web: tests/channelThief.ur history2013-12-27T12:10:03-05:00Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCshttp://hg.impredicative.com/urweb/#changeset-a671e5258a2c513fbc7a5d11b02b69aad4aa3d6cAdam Chlipalaadam@chlipala.net2013-12-27T12:10:03-05:002013-12-27T12:10:03-05:00
changeset
a671e5258a2c
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs