kkallio@16: fun getPage pg =
kkallio@16: return {Content = This is page {[pg]}.
,
kkallio@16: Available = 44}
kkallio@16:
kkallio@16: structure Pager = RemotePager.Make(struct
kkallio@16: type errorMarker = {}
kkallio@16: type pageGroup = {}
kkallio@16: val initPage = fn _ => getPage 0
kkallio@16: val getPage = fn _ pg =>
kkallio@16: tm <- now;
kkallio@16: if mod (toSeconds tm) 5 = 0 then
kkallio@16: return (RemotePager.Bad ())
kkallio@16: else
kkallio@16: p <- getPage pg;
kkallio@16: return (RemotePager.Good p)
kkallio@16: end)
kkallio@16:
kkallio@16: fun main () =
kkallio@16:
kkallio@16: pager <- Pager.create ();
kkallio@16:
kkallio@16: return
kkallio@16:
kkallio@16: RemotePager Example
kkallio@16: alert "bad found")}>
kkallio@16: RemotePager Example
kkallio@16: {Pager.panelXml pager}
kkallio@16: {Pager.ctlXml pager}
kkallio@16:
kkallio@16: