summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-04-17 13:43:00 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-04-17 13:43:00 -0400
commitea09e1d6960f3169751c4c384993d007a804c3d2 (patch)
tree1ef3d07d85c0a8e80ae15c3cc4d8701a161f4fbe /lib
parent8d5d88110f12eb56558cf6f1b1514338792487da (diff)
Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions