diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-04-17 13:43:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-04-17 13:43:00 -0400 |
| commit | 71f049713bc52fab0c85b84265c6e3db783d69c3 (patch) | |
| tree | 1ef3d07d85c0a8e80ae15c3cc4d8701a161f4fbe /demo/cookieSec.ur | |
| parent | c4b35bfac2f71541d5fddb948ca0d82039dc67fe (diff) | |
Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler
Diffstat (limited to 'demo/cookieSec.ur')
0 files changed, 0 insertions, 0 deletions