diff options
| author | Loïc Hoguin <[email protected]> | 2019-10-02 12:01:40 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2019-10-02 12:01:40 +0200 |
| commit | 8e315485975601b62a820df0f0283d83a13fc40b (patch) | |
| tree | 4e371ffa4284a7ef1aaa079c008dc7edc533ca2e | |
| parent | ab44985a9eeb1f664f38d6049a2532d83de7fa18 (diff) | |
| download | cowboy-8e315485975601b62a820df0f0283d83a13fc40b.tar.gz cowboy-8e315485975601b62a820df0f0283d83a13fc40b.tar.bz2 cowboy-8e315485975601b62a820df0f0283d83a13fc40b.zip | |
Fix a Dialyzer warning and improve some types
| -rw-r--r-- | src/cowboy_http2.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/cowboy_http2.erl b/src/cowboy_http2.erl index c73c167..18a367b 100644 --- a/src/cowboy_http2.erl +++ b/src/cowboy_http2.erl @@ -104,12 +104,12 @@ http2_machine :: cow_http2_machine:http2_machine(), %% HTTP/2 frame rate flood protection. - frame_rate_num :: non_neg_integer(), - frame_rate_time :: integer(), + frame_rate_num :: undefined | pos_integer(), + frame_rate_time :: undefined | integer(), %% HTTP/2 reset stream flood protection. - reset_rate_num :: non_neg_integer(), - reset_rate_time :: integer(), + reset_rate_num :: undefined | pos_integer(), + reset_rate_time :: undefined | integer(), %% Flow requested for all streams. flow = 0 :: non_neg_integer(), |