fix: rearrange all portals under common portal/ folder
This commit is contained in:
parent
2f98028997
commit
1087ff38ea
9 changed files with 10 additions and 0 deletions
|
@ -1,3 +1,9 @@
|
|||
(library
|
||||
(name portal)
|
||||
(modules portal)
|
||||
(virtual_modules portal)
|
||||
(libraries lwt))
|
||||
|
||||
(library
|
||||
(name portal_ws)
|
||||
(modules portal_ws)
|
|
@ -56,3 +56,7 @@ let ws_stream (url : string) =
|
|||
ws##.onclose :=
|
||||
Dom.handler (fun _ -> message None; Js._true);
|
||||
stream, push
|
||||
|
||||
(* let connect domain = *)
|
||||
(* let+ url = server_ws domain *)
|
||||
(* in ws_stream url *)
|
Loading…
Add table
Add a link
Reference in a new issue