From 2d8301bdfd6c91317b0cb259157e674bba94f37e Mon Sep 17 00:00:00 2001
From: Swrup <swrup@protonmail.com>
Date: Thu, 7 Apr 2022 17:58:01 +0200
Subject: [PATCH] add tile_url option

---
 src/tile_layer.ml  | 9 +++++++--
 src/tile_layer.mli | 2 +-
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/tile_layer.ml b/src/tile_layer.ml
index fe32d14..137eb64 100644
--- a/src/tile_layer.ml
+++ b/src/tile_layer.ml
@@ -1,8 +1,13 @@
 type t = Jv.t
 
-let create_osm () =
+let create_osm ?tile_url () =
+  (* see https://wiki.openstreetmap.org/wiki/Tile_servers *)
+  let tile_url =
+    Option.fold ~some:Fun.id
+      ~none:"https://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png" tile_url
+  in
   Jv.call Global.leaflet "tileLayer"
-    [| Jv.of_string "https://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png"
+    [| Jv.of_string tile_url
      ; Jv.obj
          [| ( "attribution"
             , Jv.of_string
diff --git a/src/tile_layer.mli b/src/tile_layer.mli
index afcd56e..4fffaa2 100644
--- a/src/tile_layer.mli
+++ b/src/tile_layer.mli
@@ -1,5 +1,5 @@
 type t
 
-val create_osm : unit -> t
+val create_osm : ?tile_url:string -> unit -> t
 
 val add_to : t -> Map.t -> unit