diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-04-21 10:17:43 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-04-21 10:17:43 -0400 |
commit | b610ac03da8ad120f3bd993346f527f2a5ad57a9 (patch) | |
tree | ff745001f9e76170bd19c35c69c78b1e23b15011 | |
parent | ee4fe2b19b4aec0da3d464c2978e36d00beb5d8d (diff) |
Plugging some gaps in the manual
-rw-r--r-- | doc/manual.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 0af87d8e..8acba6d2 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -152,7 +152,8 @@ Here is the complete list of directive forms. ``FFI'' stands for ``foreign func \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 @@ sqlite3 path/to/database/file <app.sql \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. |