diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
commit | 85ce956f28fd9715d1c943a9f02e5fdde00d2d01 (patch) | |
tree | 8916c74bf31d44a9de1144f76b6a44a313520c21 /doc | |
parent | 236387604322b81260110f93be57762eac3ef20b (diff) |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual.tex | 9 |
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} |