comparison src/http.sml @ 1307:d2ad997ca157

Interface for setting memory limits
author Adam Chlipala <adam@chlipala.net>
date Thu, 14 Oct 2010 11:06:26 -0400
parents 8679ba87cf3c
children c414850f206f
comparison
equal deleted inserted replaced
1306:3a845f2ce9e9 1307:d2ad997ca157
43 newline, 43 newline,
44 string "uw_sig_file = \"", 44 string "uw_sig_file = \"",
45 string sf, 45 string sf,
46 string "\";", 46 string "\";",
47 newline], 47 newline],
48 string "uw_setup_limits();",
49 newline,
48 string "}", 50 string "}",
49 newline]} 51 newline]}
50 52
51 val () = setProtocol "http" 53 val () = setProtocol "http"
52 54