summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-08-02 14:31:37 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-08-02 14:31:37 -0400
commit18c72ec4eb9f53935a1a1d7145b919f8a8c8684e (patch)
tree8916c74bf31d44a9de1144f76b6a44a313520c21 /doc
parent949fe8f9ce90257cd354c2d19d611cbcc3b569ef (diff)
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex9
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 8573c1c1..6691876d 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -321,6 +321,15 @@ These input files follow normal Ur syntax, with a few exceptions:
A word of warning: as for demo generation, tutorial generation calls Emacs to syntax-highlight Ur code.
+\subsection{Run-Time Options}
+
+Compiled applications consult a few environment variables to modify their behavior:
+
+\begin{itemize}
+ \item \cd{URWEB\_NUM\_THREADS}: alternative to the \cd{-t} command-line argument (currently used only by FastCGI)
+ \item \cd{URWEB\_STACK\_SIZE}: size of per-thread stacks, in bytes
+\end{itemize}
+
\section{Ur Syntax}