# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1227034043 18000
# Node ID cbeb1683dc6ac72aa62bb5fc80717a3dbd125f54
# Parent  e30c135482b398d45756c1d3a48aea6fe2b63a35
Extend prose about server .exes

diff -r e30c135482b3 -r cbeb1683dc6a demo/prose
--- a/demo/prose	Tue Nov 18 13:28:44 2008 -0500
+++ b/demo/prose	Tue Nov 18 13:47:23 2008 -0500
@@ -13,7 +13,7 @@
 
 <blockquote><pre>urweb demo/hello</pre></blockquote>
 
-to build the "Hello World" demo application.  Whether building the pieces separately or all at once with the <tt>-demo</tt> flag, a standalone web server executable is generated.  The <tt>-demo</tt> command line will generate <tt>demo/demo.exe</tt>, and the other command line will generate <tt>demo/hello.exe</tt>.  Either can be run with a single argument, an integer specifying how many request handler pthreads to spawn.  The server accepts requests on port 8080.</p>
+to build the "Hello World" demo application.  Whether building the pieces separately or all at once with the <tt>-demo</tt> flag, a standalone web server executable is generated.  The <tt>-demo</tt> command line will generate <tt>demo/demo.exe</tt>, and the other command line will generate <tt>demo/hello.exe</tt>.  Either can be run with no arguments to start a single-threaded server accepting requests on port 8080.  Pass the flag <tt>-h</tt> to see which options are available.</p>
 
 <p>The <tt>-demo</tt> version also generates some HTML in a subdirectory <tt>out</tt> of the demo directory.  It is easy to set Apache up to serve these HTML files, and to proxy out to the Ur/Web web server for dynamic page requests.  This configuration works for me, where <tt>DIR</tt> is the location of an Ur/Web source distribution.