yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix(sessds): make dialyzer a tad happier

This commit is contained in:
Andrew Mayorov 2024-03-19 13:11:32 +01:00
parent 985f1c4879
commit e1b3263177
No known key found for this signature in database
GPG Key ID: 2837C62ACFBFED5D
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
apps/emqx/src/emqx_persistent_session_ds/emqx_ps_ds_int.hrl
View File

@ -21,11 +21,12 @@
-record(ps_route, { -record(ps_route, {
topic :: binary(), topic :: binary(),
dest :: emqx_persistent_session_ds:id() dest :: emqx_persistent_session_ds:id() | '_'
}). }).
-record(ps_routeidx, { -record(ps_routeidx, {
entry :: '$1' | emqx_topic_index:key(emqx_persistent_session_ds_router:dest()), entry :: '$1' | emqx_topic_index:key(emqx_persistent_session_ds_router:dest()),
unused = [] :: nil() unused = [] :: nil() | '_'
}). }).
-endif. -endif.