diff options
| author | Jérôme Sautret <jerome@sautret.org> | 2022-04-28 14:54:41 +0200 |
|---|---|---|
| committer | Jérôme Sautret <jerome@sautret.org> | 2022-04-28 14:54:41 +0200 |
| commit | 69a5a22810ffda701507dc88cfa03af119c3b471 (patch) | |
| tree | 20706cc38dd6dc47498d8c84593b03aa4b945c43 /src/pubsub_db_sql.erl | |
| parent | Remove dialyzer warning (diff) | |
Delete ping timer if resource is gone after the ping has been sent
Diffstat (limited to 'src/pubsub_db_sql.erl')
0 files changed, 0 insertions, 0 deletions