[plt-scheme] Re: can't start web server under mzscheme v205 -- help?

>>>>> "MF" == Matthew Flatt <mflatt at cs.utah.edu> writes:

 MF> At 02 Sep 2003 13:48:51 -0400, Benjamin Simon wrote:
 >> However, if I do:
 >> 
 >> /home/ben/util-linux/plt/bin/web-server-text -f config-table
 >> or
 >> /home/ben/util-linux/plt/bin/mzscheme -qmvL- launch.ss web-server
 >> 
 >> The command runs, doesn't given any error output, but doesn't start the
 >> web server either. (not in the foreground or the background).

 MF> "launch.ss" is no longer the right launching file. Use "text-lauch.ss" (or
 MF> "gui-launch.ss" with MrEd).

Ahhh...OK, so we are on to something.  It is using launch.ss (I got the
above `mzscheme' command line by looking in the web-server-text script)

 MF> Perhaps the plt/bin/web-server-text script didn't get updated (i.e.,
 MF> it's still using "launch.ss")? If so, deleting the script, then
 MF> re-running Setup PLT should produce a corect script.

I deleted web-server-text, but the install didn't seem to recreate that
file. I ended up manually recreating that file, and changed the command
line to:
   /home/ben/util-linux/plt/bin/mzscheme -qmvL- text-launch.ss web-server

And now things work as expected!

Thanks for the super fast response.

-Ben