From 678797ee22e5a00e7d658e2774290386e1f61aac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Remy=20El=20Siba=C3=AFe?= Date: Thu, 3 May 2018 14:35:53 +0200 Subject: [PATCH] change reload behavior to use current url --- src/os_lib.eliom | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/os_lib.eliom b/src/os_lib.eliom index 9f32ee362..6c9a98329 100644 --- a/src/os_lib.eliom +++ b/src/os_lib.eliom @@ -19,7 +19,15 @@ *) let%client reload () = - Eliom_client.change_page ~service:Eliom_service.reload_action_hidden () () + let uri = + if Eliom_client.is_client_app () + && Js.Unsafe.global##.___eliom_server_ <> Js.undefined + then Format.sprintf "%s/%s" + Js.(to_string Unsafe.global##.___eliom_server_) + !Eliom_client.current_uri + else Eliom_lib.Url.resolve !Eliom_client.current_uri + in + Eliom_client.change_page_uri ~replace:true uri let%shared memoizator f = let value_ref = ref None in