From: Quentin Rameau Date: Fri, 16 Mar 2018 11:44:04 +0000 (+0100) Subject: Exit more gracefully on web process crash. X-Git-Url: https://git.danieliu.xyz/?a=commitdiff_plain;h=c60523a702fbc77899457243f1a85e4990adfb97;p=surf.git Exit more gracefully on web process crash. --- diff --git a/surf.c b/surf.c index ae2bc81..eab314a 100644 --- a/surf.c +++ b/surf.c @@ -206,6 +206,9 @@ static void downloadstarted(WebKitWebContext *wc, WebKitDownload *d, Client *c); static void responsereceived(WebKitDownload *d, GParamSpec *ps, Client *c); static void download(Client *c, WebKitURIResponse *r); +static void webprocessterminated(WebKitWebView *v, + WebKitWebProcessTerminationReason r, + Client *c); static void closeview(WebKitWebView *v, Client *c); static void destroywin(GtkWidget* w, Client *c); @@ -1187,6 +1190,8 @@ newview(Client *c, WebKitWebView *rv) G_CALLBACK(permissionrequested), c); g_signal_connect(G_OBJECT(v), "ready-to-show", G_CALLBACK(showview), c); + g_signal_connect(G_OBJECT(v), "web-process-terminated", + G_CALLBACK(webprocessterminated), c); return v; } @@ -1691,6 +1696,15 @@ download(Client *c, WebKitURIResponse *r) spawn(c, &a); } +void +webprocessterminated(WebKitWebView *v, WebKitWebProcessTerminationReason r, + Client *c) +{ + fprintf(stderr, "web process terminated: %s\n", + r == WEBKIT_WEB_PROCESS_CRASHED ? "crashed" : "no memory"); + closeview(v, c); +} + void closeview(WebKitWebView *v, Client *c) {