Is there a way to set a timeout using this API or kill / interrupt a
running wild script?

No.

Geoff
_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-dev

Reply via email to