From b9144c3893d1f1b66ef23b498e7c992a5904fd99 Mon Sep 17 00:00:00 2001
From: Samin Ishtiaq <sishtiaq@microsoft.com>
Date: Tue, 15 Dec 2015 16:22:25 +0000
Subject: [PATCH] Send close_notify.

---
 flex/FlexApps/Handshake_full_RSA.fs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/flex/FlexApps/Handshake_full_RSA.fs b/flex/FlexApps/Handshake_full_RSA.fs
index 440ef3b..632e243 100644
--- 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 *)