Well. Works now.  I was calling the shell script like this
"LAUNCH="$WEBKIT_DIR/AppServer" instead of this "python Launch.py
ThreadedAppServer".  That lets me run restart OK, as the PID is set
correctly each time.  But I still cannot get the AutoReload feature to
work.  Webkit rerfuses to restart.  It shuts down OK but never restarts.
I thought this was related to my first problem initially, but not
anymore.

>On 06/08/03, Michael Montagne busted out the keyboard and typed:

> It seems the webkit start up script doesn't record the proper PID all
> the time.  This messes up the Auto Reload feature among other things.
> Does anyone else have this problem?  I'm looking into fixing it but I
> can't believe I'm the only one with this issue.
-- 
Michael Montagne
[EMAIL PROTECTED]
http://www.themontagnes.com


-------------------------------------------------------
This SF.NET email is sponsored by: eBay
Great deals on office technology -- on eBay now! Click here:
http://adfarm.mediaplex.com/ad/ck/711-11697-6916-5
_______________________________________________
Webware-discuss mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/webware-discuss

Reply via email to