On Wed, Apr 28 2021 at 04:14:16 PM +0200, Miguel Gomez via webkit-dev
<webkit-dev@lists.webkit.org> wrote:
But if we give the option to disable this behavior, then we need to
provide a way for the apps to handle the situation, don't you think?
And this means adding new API (being it the one to retrieve the
process
ID or the one to kill the web content process directly).
Would an application ever want to do something to handle the situation
other than load a new page? Perhaps you would want to use
webkit_web_view_load_alternate_html() to display an error page, for
example.
An API to allow killing the process is only needed if the application
wants to do something when the process is killed *without* loading a
new page, yes?
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
