From 7bf0a0124a6c8a834983a660af53d8789ac0a8ac Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 Oct 2010 11:06:26 -0400 Subject: Interface for setting memory limits --- src/http.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/http.sml') diff --git a/src/http.sml b/src/http.sml index a760e195..5859f077 100644 --- a/src/http.sml +++ b/src/http.sml @@ -45,6 +45,8 @@ val () = addProtocol {name = "http", string sf, string "\";", newline], + string "uw_setup_limits();", + newline, string "}", newline]} -- cgit v1.2.3