diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2012-03-06 11:34:57 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2012-03-06 11:34:57 +0200 |
commit | 215a45dc83cd8fea56f413d164734345cfbfc994 (patch) | |
tree | 806255b3b1e38053efbd158a66cb22f9777b2617 /common/include/driver.cxx | |
parent | 4059cc0ef58ffc40f50f15bdd1fecd78f49c2727 (diff) |
Detect situations where session is required but not used
Throw session_required.
Diffstat (limited to 'common/include/driver.cxx')
0 files changed, 0 insertions, 0 deletions