diff options
Diffstat (limited to 'www-servers/ocsigenserver/files/lwt.patch')
| -rw-r--r-- | www-servers/ocsigenserver/files/lwt.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/www-servers/ocsigenserver/files/lwt.patch b/www-servers/ocsigenserver/files/lwt.patch new file mode 100644 index 000000000000..360b2b06e913 --- /dev/null +++ b/www-servers/ocsigenserver/files/lwt.patch @@ -0,0 +1,19 @@ +commit 156f8deaae2a50d8b9614b99488f34b284382eaa +Author: Drup <drupyog@zoho.com> +Date: Thu Dec 11 16:52:33 2014 +0100 + + Remove dependency to Lwt_util. + +diff --git a/src/server/ocsigen_server.ml b/src/server/ocsigen_server.ml +index c5563a6..e548f5e 100644 +--- a/src/server/ocsigen_server.ml ++++ b/src/server/ocsigen_server.ml +@@ -1040,7 +1040,7 @@ let rec wait_connection use_ssl port socket = + >>= decr_connected + in + +- Lwt_util.iter handle_one l >>= fun () -> ++ Lwt_list.iter_p handle_one l >>= fun () -> + match e with + | Some e -> handle_exn e + | None -> Lwt.return ()) |