[plt-scheme] web-server reconfiguration
On Apr 20, 2005, at 09:33, Matthias Felleisen wrote:
> The configuration dialog of the server was at some point supposed to
> do just this kind of thing for you. Have you tried? -- Matthias
I did. It almost seemed to work. This is what happened.
[1] I modified $PLTHOME/collects/web-server/configuration-table to
start web service on port 8500.
[2] Started PLT webserver: $PLTHOME/bin/web-server
[3] Clicked URLs:
http://localhost:8500/
http://localhost:8500/Defaults/
http://localhost:8500/servlets/configure.ss
which reported:
This Web server uses the configuration in
[3-out]
/Applications/Added_Apps/PLT_Scheme_v299.100/collects/web-server/
configuration-table
[4] Changed configuration path to:
/Users/gknauth/test/plt/web-server/configuration-table
[5] Pressed Select. Now @ URL
http://localhost:8500/servlets;id17*0/configure.ss
[6] Changed Host directory to:
/Users/gknauth/test/plt/web-server/default-web-root
[7] Pressed Update Configuration.
[8] Restarted web server as suggested. (But see note [10] below.)
[9] Clicked URLs as in [3], and result was exactly the same as in [3].
New path did not stick, I still see the old path [3-out].
I did notice that configure.ss had an Edit Minor Details button that
allows lots of customization. All the paths in there already start
/Users/gknauth/test/plt/web-server/..., yet if I follow step [3], I
still see the old path [3-out].
[10] Maybe this is related. To restart the web server, I've been doing
this:
^C (wait a few seconds)
^C (ok, that did it)
$PLTHOME/bin/web-server
Geoffrey
--
Geoffrey S. Knauth | http://knauth.org/gsk