From 51f49cd45aa0677427683828a15d23316c91a9bd Mon Sep 17 00:00:00 2001 From: shortcutme Date: Tue, 17 Dec 2019 14:25:04 +0100 Subject: [PATCH] Always use libev if possible --- src/main.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/main.py b/src/main.py index c6cb61e8..4083ce88 100644 --- a/src/main.py +++ b/src/main.py @@ -12,6 +12,12 @@ def startupError(msg): # Third party modules import gevent +try: + # Workaround for random crash when libuv used with threads + if "libev" not in str(gevent.config.loop): + gevent.config.loop = "libev-cext" +except Exception as err: + startupError("Unable to switch gevent loop to libev: %s" % err) import gevent.monkey gevent.monkey.patch_all(thread=False, subprocess=False)