diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-27 12:10:03 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-27 12:10:03 -0500 |
| commit | ee16149ddef734c9945ff0339300fd926ca91b1a (patch) | |
| tree | 85f0265a4778128dee390ef80d943cc6c5b0669f /tests/echoBlob.urs | |
| parent | 8ebc8340ebc13704014d5b2a3bbcd453786162c8 (diff) | |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
Diffstat (limited to 'tests/echoBlob.urs')
0 files changed, 0 insertions, 0 deletions