Mercurial > urweb

comparison doc/manual.tex @ 1086:99aebdf30257

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-tc flag
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 10:02:48 -0500
parents ae885ad70d83
children f1647f16097d
comparison
equal deleted inserted replaced
1085:ae885ad70d83 1086:99aebdf30257
164 The output executable is a standalone web server. Run it with the command-line argument \texttt{-h} to see which options it takes. If the project file lists a database, the web server will attempt to connect to that database on startup. 164 The output executable is a standalone web server. Run it with the command-line argument \texttt{-h} to see which options it takes. If the project file lists a database, the web server will attempt to connect to that database on startup.
165 165
166 To time how long the different compiler phases run, without generating an executable, run 166 To time how long the different compiler phases run, without generating an executable, run
167 \begin{verbatim} 167 \begin{verbatim}
168 urweb -timing P 168 urweb -timing P
169 \end{verbatim}
170
171 To stop the compilation process after type-checking, run
172 \begin{verbatim}
173 urweb -tc P
169 \end{verbatim} 174 \end{verbatim}
170 175
171 Some other command-line parameters are accepted: 176 Some other command-line parameters are accepted:
172 \begin{itemize} 177 \begin{itemize}
173 \item \texttt{-db <DBSTRING>}: Set database connection information, using the format expected by Postgres's \texttt{PQconnectdb()}, which is \texttt{name1=value1 ... nameN=valueN}. The same format is also parsed and used to discover connection parameters for MySQL and SQLite. The only significant settings for MySQL are \texttt{host}, \texttt{hostaddr}, \texttt{port}, \texttt{dbname}, \texttt{user}, and \texttt{password}. The only significant setting for SQLite is \texttt{dbname}, which is interpreted as the filesystem path to the database. Additionally, when using SQLite, a database string may be just a file path. 178 \item \texttt{-db <DBSTRING>}: Set database connection information, using the format expected by Postgres's \texttt{PQconnectdb()}, which is \texttt{name1=value1 ... nameN=valueN}. The same format is also parsed and used to discover connection parameters for MySQL and SQLite. The only significant settings for MySQL are \texttt{host}, \texttt{hostaddr}, \texttt{port}, \texttt{dbname}, \texttt{user}, and \texttt{password}. The only significant setting for SQLite is \texttt{dbname}, which is interpreted as the filesystem path to the database. Additionally, when using SQLite, a database string may be just a file path.