diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2018-04-16 18:14:07 +0200 |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2018-04-16 18:14:07 +0200 |
commit | 0282cf64a0879cce05a220e2435310161b3330f5 (patch) | |
tree | 75f8ff7a7677bfe7629615985d82b2ae39fd3988 /src/mod_push.erl | |
parent | mod_push: Add/adjust debug messages (diff) |
mod_push: Add function specification
Diffstat (limited to 'src/mod_push.erl')
-rw-r--r-- | src/mod_push.erl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mod_push.erl b/src/mod_push.erl index 36687d18a..40cfaa625 100644 --- a/src/mod_push.erl +++ b/src/mod_push.erl @@ -134,6 +134,7 @@ mod_opt_type(O) when O == cache_life_time; O == cache_size -> mod_opt_type(O) when O == use_cache; O == cache_missed -> fun (B) when is_boolean(B) -> B end. +-spec mod_options(binary()) -> [{atom(), any()}]. mod_options(Host) -> [{db_type, ejabberd_config:default_db(Host, ?MODULE)}, {use_cache, ejabberd_config:use_cache(Host)}, |