more debug

Author: AlexTugarev

components/server/src/messaging/redis-subscriber.ts

@@ -207,6 +207,7 @@ export class RedisSubscriber {
         return Disposable.create(() => {
             const ls = listeners!;
             const idx = ls.findIndex((l) => l === listener);
+            console.log(`GITPOD-SERVER disposal of subscriber, key ${key}, listener index ${idx}`);
             if (idx !== -1) {
                 ls.splice(idx, 1);
                 updateSubscribersRegistered.labels(type).dec();

components/server/src/workspace/gitpod-server-impl.ts

@@ -337,7 +337,7 @@ export class GitpodServerImpl implements GitpodServerWithTracing, Disposable {
             );
 
         for (const projectId of projects) {
-            this.disposables.pushAll([this.subscriber.listenForPrebuildUpdates(projectId, handler)]);
+            this.disposables.push(this.subscriber.listenForPrebuildUpdates(projectId, handler));
         }
 
         // TODO(at) we need to keep the list of accessible project up to date