remove use of String.ends_with for compat with 4.08

imandra-ai · Sep 1, 2023 · 063c046 · 063c046
1 parent 883d4bb
commit 063c046
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/src/client-cohttp-lwt/opentelemetry_client_cohttp_lwt.ml b/src/client-cohttp-lwt/opentelemetry_client_cohttp_lwt.ml
@@ -95,7 +95,7 @@ end = struct
       ('a, error) result Lwt.t =
     let url =
       let url = config.url in
-      if String.ends_with url ~suffix:"/" then
+      if url <> "" && String.get url (String.length url - 1) = '/' then
         String.sub url 0 (String.length url - 1)
       else
         url
@@ -115,8 +115,7 @@ end = struct
       try%lwt
         let+ r = Httpc.post ~headers ~body uri in
         Ok r
-      with e ->
-        Lwt.return @@ Error e
+      with e -> Lwt.return @@ Error e
     in
     match r with
     | Error e ->

diff --git a/src/client-ocurl/opentelemetry_client_ocurl.ml b/src/client-ocurl/opentelemetry_client_ocurl.ml
@@ -125,7 +125,7 @@ end = struct
     let data = Pbrt.Encoder.to_string encoder in
     let url =
       let url = config.Config.url in
-      if String.ends_with url ~suffix:"/" then
+      if url <> "" && String.get url (String.length url - 1) = '/' then
         String.sub url 0 (String.length url - 1)
       else
         url