From 9bf47d500ed00fb5d5c8dd9b26f8186e4d239401 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Fri, 31 Oct 2014 12:21:12 -0400 Subject: [PATCH] update typed/openssl protocol type original commit: 96cefe88c4485d1242ae361522b59371709fbc3d --- .../typed-racket-pkgs/typed-racket-more/typed/openssl/types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/openssl/types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/openssl/types.rkt index 4f35333f..b5c2435a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/openssl/types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/openssl/types.rkt @@ -12,7 +12,7 @@ ) (define-type SSL-Protocol - (U 'sslv2-or-v3 'sslv2 'sslv3 'tls)) + (U 'auto 'sslv2-or-v3 'sslv2 'sslv3 'tls 'tls11 'tls12)) (require/opaque-type SSL-Client-Context ssl-client-context? openssl)