From c6635d5993aac1af7cb0db94d548b4eaab197684 Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Tue, 15 Oct 2019 15:00:20 +0200
Subject: [PATCH] Fix extension disabling

---
 src/extension.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/extension.js b/src/extension.js
index 8d5c0f0..852f1da 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -72,8 +72,6 @@ function enable() {
 
 function disable() {
 	proxy.disconnect(proxy_connect_id);
-	proxy.destroy();
-	conn.destroy();
 
 	_set_theme(original_user_theme);