From 04814a364a7444c0f2ac9106ffcd3f8ec3671dce Mon Sep 17 00:00:00 2001
From: SuZhou-Joe <suzhou@amazon.com>
Date: Thu, 24 Aug 2023 11:57:07 +0800
Subject: [PATCH] feature: remove useless property

Signed-off-by: SuZhou-Joe <suzhou@amazon.com>
---
 src/plugins/workspace/server/plugin.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/workspace/server/plugin.ts b/src/plugins/workspace/server/plugin.ts
index eca07c357d9f..4e3d5d45f243 100644
--- a/src/plugins/workspace/server/plugin.ts
+++ b/src/plugins/workspace/server/plugin.ts
@@ -34,7 +34,6 @@ export class WorkspacePlugin implements Plugin<{}, {}> {
   private coreStart?: CoreStart;
   private config$: Observable<ConfigSchema>;
   private enabled$: BehaviorSubject<boolean> = new BehaviorSubject(false);
-  private loopRequestTimer?: NodeJS.Timeout;
 
   private get isEnabled() {
     return this.enabled$.getValue();