From 4dcb1df69acac8effd491e977b4d685df1c7c950 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 10 Oct 2022 14:39:42 +0200
Subject: [PATCH] =?UTF-8?q?[server]=20fix=20=C2=AB=20typo=20=C2=BB=20in=20?=
=?UTF-8?q?code?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/plugins/server/server_batch.ml | 2 +-
src/plugins/server/server_doc.ml | 4 ++--
src/plugins/server/server_doc.mli | 4 ++--
src/plugins/server/server_socket.ml | 2 +-
src/plugins/server/server_zmq.ok.ml | 2 +-
5 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/plugins/server/server_batch.ml b/src/plugins/server/server_batch.ml
index 0eb234f3b0b..bafc368dfe2 100644
--- a/src/plugins/server/server_batch.ml
+++ b/src/plugins/server/server_batch.ml
@@ -52,7 +52,7 @@ module BatchOutputDir = Senv.Empty_string
directory."
end)
-let () = Server_doc.protocole ~title:"Batch Protocol" ~readme:"server_batch.md"
+let () = Server_doc.protocol ~title:"Batch Protocol" ~readme:"server_batch.md"
(* -------------------------------------------------------------------------- *)
diff --git a/src/plugins/server/server_doc.ml b/src/plugins/server/server_doc.ml
index cac5ea51a26..917369bf395 100644
--- a/src/plugins/server/server_doc.ml
+++ b/src/plugins/server/server_doc.ml
@@ -98,11 +98,11 @@ let publish ~page ?name ?(index=[]) ~title
List.iter (fun entry -> entries := (entry , href) :: !entries) index ;
page.sections <- section :: page.sections ; href
-let protocole ~title ~readme:filename =
+let protocol ~title ~readme:filename =
let readme = Printf.sprintf "%s/server/%s" (Fc_config.datadir :> string) filename in
ignore (page `Protocol ~title ~readme ~filename ())
-let () = protocole ~title:"Architecture" ~readme:"server.md"
+let () = protocol ~title:"Architecture" ~readme:"server.md"
(* -------------------------------------------------------------------------- *)
(* --- Package Publication --- *)
diff --git a/src/plugins/server/server_doc.mli b/src/plugins/server/server_doc.mli
index c94c5648bec..ad0689e6253 100644
--- a/src/plugins/server/server_doc.mli
+++ b/src/plugins/server/server_doc.mli
@@ -64,8 +64,8 @@ val publish :
?generated:(unit -> Markdown.elements) ->
unit -> Markdown.href
-(** Publish a protocole. *)
-val protocole : title:string -> readme:string -> unit
+(** Publish a protocol. *)
+val protocol : title:string -> readme:string -> unit
(** Publish a package. *)
val package : Package.packageInfo -> unit
diff --git a/src/plugins/server/server_socket.ml b/src/plugins/server/server_socket.ml
index b0f2e5b03fa..2a6f4ffe766 100644
--- a/src/plugins/server/server_socket.ml
+++ b/src/plugins/server/server_socket.ml
@@ -50,7 +50,7 @@ module SocketSize = Senv.Int
let help = "Control the size of socket buffers (in ko, default 256)."
end)
-let _ = Server_doc.protocole
+let _ = Server_doc.protocol
~title:"Unix Socket Protocol"
~readme:"server_socket.md"
diff --git a/src/plugins/server/server_zmq.ok.ml b/src/plugins/server/server_zmq.ok.ml
index d19dd35c8d7..d7776bfa0ca 100644
--- a/src/plugins/server/server_zmq.ok.ml
+++ b/src/plugins/server/server_zmq.ok.ml
@@ -58,7 +58,7 @@ module Client = Senv.String
as first and unique argument."
end)
-let _ = Server_doc.protocole ~title:"ZeroMQ Protocol" ~readme:"server_zmq.md"
+let _ = Server_doc.protocol ~title:"ZeroMQ Protocol" ~readme:"server_zmq.md"
(* -------------------------------------------------------------------------- *)
(* --- ZMQ Context --- *)
--
GitLab