]> granicus.if.org Git - ejabberd/commitdiff
mod_push: Add function specification
authorHolger Weiss <holger@zedat.fu-berlin.de>
Mon, 16 Apr 2018 16:14:07 +0000 (18:14 +0200)
committerHolger Weiss <holger@zedat.fu-berlin.de>
Mon, 16 Apr 2018 16:14:07 +0000 (18:14 +0200)
src/mod_push.erl

index 36687d18abe743e5866d5c38c7658800a16ad6b7..40cfaa625b3e054c52c1e9da322c8cf710435aa2 100644 (file)
@@ -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)},