Is there a way to set a timeout using this API or kill / interrupt a running wild script?
No. Geoff _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev