Slightly modified patch from James Beal: add --no-eof (or --noeof) as

[sgt/agedu] / agedu.but

diff --git a/agedu.but b/agedu.but
index e98e556..4e90a14 100644 (file)
--- a/agedu.but
+++ b/agedu.but
@@ -166,10 +166,11 @@ default it invents its own URL and prints it out.
 
 \lcont{
 
 
 \lcont{
 

-The web server runs until \cw{agedu} receives an end-of-file event
-on its standard input. (The expected usage is that you run it from
-the command line, immediately browse web pages until you're
-satisfied, and then press Ctrl-D.)
+The web server runs until \cw{agedu} receives an end-of-file event on
+its standard input. (The expected usage is that you run it from the
+command line, immediately browse web pages until you're satisfied, and
+then press Ctrl-D.) To disable the EOF behaviour, use the
+\cw{--no-eof} option.

 
 In case the index file contains any confidential information about
 your file system, the web server protects the pages it serves from
 
 In case the index file contains any confidential information about
 your file system, the web server protects the pages it serves from


@@ -638,6 +639,11 @@ consist of the username, followed by a colon, followed by the
 password, followed \e{immediately} by end of file (no trailing
 newline, or else it will be considered part of the password).
 
 password, followed \e{immediately} by end of file (no trailing
 newline, or else it will be considered part of the password).
 

+\dt \cw{--no-eof}
+
+\dd Stop \cw{agedu} in web server mode from looking for end-of-file on
+standard input and treating it as a signal to terminate.
+

 \U LIMITATIONS
 
 The data file is pretty large. The core of \cw{agedu} is the
 \U LIMITATIONS
 
 The data file is pretty large. The core of \cw{agedu} is the