session: outdate a session of a closed connection
Once a connection is closed, a long-running user request can not learn about this occasion. Even box.sesion.push() still works. This patch makes such disconnected session 'rotten'. So a user can determine if a connection is closed by looking at session.fd() == -1, or checking for errors from box.session.push(). Closes #3859
Showing
- src/box/errcode.h 1 addition, 1 deletionsrc/box/errcode.h
- src/box/iproto.cc 6 additions, 3 deletionssrc/box/iproto.cc
- src/box/session.cc 23 additions, 0 deletionssrc/box/session.cc
- src/box/session.h 7 additions, 0 deletionssrc/box/session.h
- test/box/misc.result 1 addition, 0 deletionstest/box/misc.result
- test/box/push.result 50 additions, 0 deletionstest/box/push.result
- test/box/push.test.lua 22 additions, 0 deletionstest/box/push.test.lua
Loading
Please register or sign in to comment