K 10
svn:author
V 7
matthew
K 8
svn:date
V 27
2012-12-15T09:05:54.867625Z
K 7
svn:log
V 193
Use new OPTIONS_RADIO to select 0 or 1 of the web deployment options.
The old 'BUILTIN' PSGI web server option was and remains always
available independent of the web deployment option chosen.

END