Send close_notify.

mitls · Dec 15, 2015 · b9144c3 · b9144c3
1 parent a07fe04
commit b9144c3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/flex/FlexApps/Handshake_full_RSA.fs b/flex/FlexApps/Handshake_full_RSA.fs
@@ -38,6 +38,7 @@ open FlexCCS
 open FlexFinished
 open FlexState
 open FlexSecrets
+open FlexAlert
 
 /// Run full RSA handshakes, complying with TLS_RSA_WITH_AES_128_GCM_SHA256
 type Handshake_full_RSA =
@@ -78,6 +79,7 @@ type Handshake_full_RSA =
         let st           = FlexState.installReadKeys st nsc in
 
         let st,ffS       = FlexFinished.receive(st,nsc,Server) in
+        let st           = FlexAlert.send(st,TLSError.AD_close_notify) in
         st
 
     /// CLIENT - Run full RSA Handshake with mutual server and client authentication *)