diff options
| author | Evgeniy Khramtsov <ekhramtsov@process-one.net> | 2017-02-18 09:36:27 +0300 |
|---|---|---|
| committer | Evgeniy Khramtsov <ekhramtsov@process-one.net> | 2017-02-18 09:36:27 +0300 |
| commit | 940ca9311d7097e593bddc7bfc8ed9ba504d66bc (patch) | |
| tree | ca86e6f5aae6b3d142675334ace94fb21452fd35 /include/ejabberd_router.hrl | |
| parent | b2de1d7438fa6e1996e162077af251cd0355ef5d (diff) | |
Fix some dialyzer warnings
Diffstat (limited to 'include/ejabberd_router.hrl')
| -rw-r--r-- | include/ejabberd_router.hrl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/include/ejabberd_router.hrl b/include/ejabberd_router.hrl index 8de23c4c7..f22bd723b 100644 --- a/include/ejabberd_router.hrl +++ b/include/ejabberd_router.hrl @@ -1,6 +1,6 @@ --type local_hint() :: undefined | integer() | {apply, atom(), atom()}. +-type local_hint() :: integer() | {apply, atom(), atom()}. --record(route, {domain :: binary(), - server_host :: binary(), +-record(route, {domain :: binary() | '_', + server_host :: binary() | '_', pid :: undefined | pid(), - local_hint :: local_hint()}). + local_hint :: local_hint() | undefined | '_'}). |