From 4424c9b3c11817e8f4add12a0e020c238932cb82 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 27 Sep 2024 13:47:01 +0200 Subject: [PATCH] Update src/engine.ml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Reynir Björnsson --- src/engine.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/engine.ml b/src/engine.ml index c909b49a..58b7be00 100644 --- a/src/engine.ml +++ b/src/engine.ml @@ -574,7 +574,7 @@ let push_request tls = let push_reply tls data = (* a trailing 0 byte.. (String.make 1 '\000') *) let repl = - String.concat "" [ Packet.push_reply; data; String.make 1 '\000' ] + String.concat "" [ Packet.push_reply; data; "\000" ] in Option.to_result ~none:(`Msg "Tls.send application data failed for push request")