Mercurial > urweb

comparison src/settings.sig @ 1307:d2ad997ca157

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Interface for setting memory limits
author Adam Chlipala <adam@chlipala.net>
date Thu, 14 Oct 2010 11:06:26 -0400
parents b4480a56cab7
children 4dd5d23bace2
comparison
equal deleted inserted replaced
1306:3a845f2ce9e9 1307:d2ad997ca157
1 (* Copyright (c) 2008-2009, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
206 val setSafeGets : string list -> unit 206 val setSafeGets : string list -> unit
207 val isSafeGet : string -> bool 207 val isSafeGet : string -> bool
208 208
209 val setOnError : (string * string list * string) option -> unit 209 val setOnError : (string * string list * string) option -> unit
210 val getOnError : unit -> (string * string list * string) option 210 val getOnError : unit -> (string * string list * string) option
211
212 val addLimit : string * int -> unit
213 val limits : unit -> (string * int) list
211 end 214 end