Fix extension disabling

2019-10-15 15:00:20 +02:00
parent eb94856b31
commit c6635d5993
1 changed files with 0 additions and 2 deletions
@@ -72,8 +72,6 @@ function enable() {

 function disable() {
 	proxy.disconnect(proxy_connect_id);
-	proxy.destroy();
-	conn.destroy();

 	_set_theme(original_user_theme);