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:  Etnus, makers of TotalView, The best
thread debugger on the planet. Designed with thread debugging features
you've never dreamed of, try TotalView 6 free at www.etnus.com.
_______________________________________________
Webware-discuss mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/webware-discuss

Reply via email to