From c03ea41f1689b1aeeebf7a8bde044c254da7385b Mon Sep 17 00:00:00 2001
From: alemi <me@alemi.dev>
Date: Wed, 25 Sep 2024 05:12:41 +0200
Subject: [PATCH] feat: add destructor for plugin

finally! proper disconnection
---
 src/commands.ts  | 5 -----
 src/extension.ts | 6 ++++++
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/commands.ts b/src/commands.ts
index 20074cd..3560744 100644
--- a/src/commands.ts
+++ b/src/commands.ts
@@ -396,8 +396,3 @@ export async function jump(selected: vscode.TreeItem | undefined){
 	editor.revealRange(cursor_range, vscode.TextEditorRevealType.InCenter);
 }
 
-// This method is called when your extension is deactivated
-export function deactivate() {
-	//Maybe i should disconnect from every workspace and buffer ??? // TODO
-	// TODO
-}
\ No newline at end of file
diff --git a/src/extension.ts b/src/extension.ts
index 450ae58..f76fd32 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -45,6 +45,12 @@ export function activate(context: vscode.ExtensionContext) {
 	}
 }
 
+export async function deactivate() {
+	if (commands.client && commands.workspace) {
+		await commands.client.leave_workspace(commands.workspace.id());
+	}
+}
+
 async function log_poller_task(logger: codemp.JsLogger) {
 	while (true) {
 		let message = await logger.message();