From 3dd51ae93f71531ab35760b0e45c7f63eb015ef8 Mon Sep 17 00:00:00 2001 From: Romain Vigier Date: Tue, 15 Oct 2019 15:04:25 +0200 Subject: [PATCH] Add checks before disconnecting proxy signal --- src/extension.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/extension.js b/src/extension.js index 0814127..5e1412d 100644 --- a/src/extension.js +++ b/src/extension.js @@ -68,7 +68,9 @@ function enable() { } function disable() { - proxy.disconnect(proxy_connect_id); + if ( proxy && proxy_connect_id ) { + proxy.disconnect(proxy_connect_id); + } _set_theme(original_user_theme);