# HG changeset patch # User Adam Chlipala # Date 1366553863 14400 # Node ID 30c56e3bcf47c203faafdd82f6cf7d933d14778a # Parent 3005c66b70e8a11a2d7d1811d6133e2ed17af512 Plugging some gaps in the manual diff -r 3005c66b70e8 -r 30c56e3bcf47 doc/manual.tex --- a/doc/manual.tex Tue Apr 16 11:25:56 2013 -0400 +++ b/doc/manual.tex Sun Apr 21 10:17:43 2013 -0400 @@ -152,7 +152,8 @@ \item \texttt{limit class num} sets a resource usage limit for generated applications. The limit \texttt{class} will be set to the non-negative integer \texttt{num}. The classes are: \begin{itemize} \item \texttt{cleanup}: maximum number of cleanup operations (e.g., entries recording the need to deallocate certain temporary objects) that may be active at once per request - \item \texttt{database}: maximum size of database files (currently only used by SQLite) + \item \texttt{clients}: maximum number of simultaneous connections to one application by web clients waiting for new asynchronous messages sent with \texttt{Basis.send} + \item \texttt{database}: maximum size of a database file (currently only used by SQLite, which interprets the parameter as a number of pages, where page size is itself a quantity configurable in SQLite) \item \texttt{deltas}: maximum number of messages sendable in a single request handler with \texttt{Basis.send} \item \texttt{globals}: maximum number of global variables that FFI libraries may set in a single request context \item \texttt{headers}: maximum size (in bytes) of per-request buffer used to hold HTTP headers for generated pages @@ -262,6 +263,8 @@ \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files +\item \texttt{-moduleOf FILENAME}: Prints the Ur/Web module name corresponding to source file \texttt{FILENAME}, exiting immediately afterward. + \item \texttt{-output FILENAME}: Set where the application executable is written. \item \texttt{-path NAME VALUE}: Set the value of path variable \texttt{\$NAME} to \texttt{VALUE}, for use in \texttt{.urp} files.