Mark Phillips wrote:
> I reread the installation instructions, and this sentance jumped out
> at me: "Note that the pid file records the pid of the Python
> application server, not the pid of the wrapper script AppServer which
> is responsible for the AutoReload mechanism."
> Where is the pid file for the python application server, if it is not
> the appserverpid.txt file created by AppServer?
The start script maintains its own pid file usually called webkit.pid,
separately from the AppServer's appserverpid.txt file. Both actually
contain the same pid. I have now clarified this in the doc.