Merge pull request #529 from ocsigen/tips

Add function Os_tips.tip_seen

opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "ocsigen-start"
-version: "1.3.0"
+version: "dev"
 authors: "[email protected]"
 maintainer: "[email protected]"
 synopsis: "An Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc"

src/os_tips.eliom

@@ -96,6 +96,10 @@ let%client set_tip_seen name =
        (Os_session.connected_wrapper set_tip_seen))
   name
 
+let%shared tip_seen name =
+  let%lwt seen = get_tips_seen () in
+  Lwt.return @@ Stringset.mem name seen
+
 (* I want to see the tips again *)
 let%server reset_tips_user myid_o =
   match myid_o with

src/os_tips.eliomi

@@ -87,7 +87,9 @@ val reset_tips : unit -> unit Lwt.t
 *)
 val set_tip_seen : string -> unit Lwt.t
 
-[%%shared.start]
+(** Returns whether a tip has been seen or not. *)
+val tip_seen : string -> bool Lwt.t
+
 (** A non-attached service that will reset tips.
     Call it with [Eliom_client.exit_to] to restart the application and
     see tips again. *)