diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2022-05-02 01:54:42 +0200 |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2022-05-02 01:54:42 +0200 |
commit | b5a76fb4de3bf5e5901505929e5c7fb1f2f6a42a (patch) | |
tree | 6d05ab7a806fc618a65abc5d486c53c5bdf3ecd2 /src/mod_mqtt_sql.erl | |
parent | Adapt mod_push_keepalive to mod_push changes (diff) |
mod_push: Keep push session ID on session resume
Don't forget the push session ID if the client resumes a stream
management session. This makes sure no push notifications are generated
for a connected client with a resumed stream management session.
Thanks to Thilo Molitor for spotting the issue.
Diffstat (limited to 'src/mod_mqtt_sql.erl')
0 files changed, 0 insertions, 0 deletions