diff options
| author | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2018-09-09 09:59:08 +0300 |
|---|---|---|
| committer | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2018-09-09 09:59:08 +0300 |
| commit | 2d246f61dd75bcef3ca15dc30cbe0b399c9f6e2c (patch) | |
| tree | d7f37b1b12955d8a998d6cdb50fd03e47755875c /src/ejabberd_redis_sup.erl | |
| parent | Merge pull request #2597 from dmitryDemchenko/master (diff) | |
Fix some dialyzer warnings
Diffstat (limited to 'src/ejabberd_redis_sup.erl')
| -rw-r--r-- | src/ejabberd_redis_sup.erl | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/ejabberd_redis_sup.erl b/src/ejabberd_redis_sup.erl index f3dfb7e0..bbcd1144 100644 --- a/src/ejabberd_redis_sup.erl +++ b/src/ejabberd_redis_sup.erl @@ -126,14 +126,7 @@ get_pool_size() -> iolist_to_list(IOList) -> binary_to_list(iolist_to_binary(IOList)). --spec opt_type(redis_connect_timeout) -> fun((pos_integer()) -> pos_integer()); - (redis_db) -> fun((non_neg_integer()) -> non_neg_integer()); - (redis_password) -> fun((binary()) -> binary()); - (redis_port) -> fun((0..65535) -> 0..65535); - (redis_server) -> fun((binary()) -> binary()); - (redis_pool_size) -> fun((pos_integer()) -> pos_integer()); - (redis_queue_type) -> fun((ram | file) -> ram | file); - (atom()) -> [atom()]. +-spec opt_type(atom()) -> fun((any()) -> any()) | [atom()]. opt_type(redis_connect_timeout) -> fun (I) when is_integer(I), I > 0 -> I end; opt_type(redis_db) -> |