diff options
author | jim@bo <jim@bo> | 2018-06-24 18:50:44 -0400 |
---|---|---|
committer | jim@bo <jim@bo> | 2018-06-24 18:50:44 -0400 |
commit | 47637306b8c19b0b7363f9a2642c7190470a2c93 (patch) | |
tree | 070565ea9211ef7f782b736458ba1acc129493ea /examples/atox.hs | |
parent | a5fad52f1e1ca6d8ebfcbb448f19014225368777 (diff) |
call setTerminated from destroySession
Diffstat (limited to 'examples/atox.hs')
0 files changed, 0 insertions, 0 deletions