summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-04-21 10:17:43 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2013-04-21 10:17:43 -0400
commitb610ac03da8ad120f3bd993346f527f2a5ad57a9 (patch)
treeff745001f9e76170bd19c35c69c78b1e23b15011 /doc
parentee4fe2b19b4aec0da3d464c2978e36d00beb5d8d (diff)
Plugging some gaps in the manual
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex5
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.