diff options
author | Lars-Dominik Braun <lars@6xq.net> | 2019-07-11 11:08:25 +0200 |
---|---|---|
committer | Lars-Dominik Braun <lars@6xq.net> | 2019-07-11 11:10:22 +0200 |
commit | 8761275f1f569b747cb26578e1c3411e108fb8dd (patch) | |
tree | 8d77813e13f76d33192b92bfd302044d4d415f70 /contrib/chromebot.ini | |
parent | 46d6c7f296e8b29db307cd180f3743e36b29ffe3 (diff) | |
download | crocoite-8761275f1f569b747cb26578e1c3411e108fb8dd.tar.gz crocoite-8761275f1f569b747cb26578e1c3411e108fb8dd.tar.bz2 crocoite-8761275f1f569b747cb26578e1c3411e108fb8dd.zip |
devtools: Add more crash error handling
In case the whole browser crashes (rare) we will neither be able to
close the tab on __aexit__, nor send SIGTERM to it. Make sure we still
terminate gracefully.
Diffstat (limited to 'contrib/chromebot.ini')
0 files changed, 0 insertions, 0 deletions