From 3955b3f979a4cf0c280c14ec70f0c6484a9ebc55 Mon Sep 17 00:00:00 2001
From: Phillip Hoff <phillip@orst.edu>
Date: Thu, 10 Jan 2019 09:31:50 -0800
Subject: [PATCH] Log removal of containers. (#737)

---
 debugging/coreclr/dockerManager.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debugging/coreclr/dockerManager.ts b/debugging/coreclr/dockerManager.ts
index b79b4302d0..8ccdfe4870 100644
--- a/debugging/coreclr/dockerManager.ts
+++ b/debugging/coreclr/dockerManager.ts
@@ -280,6 +280,8 @@ export class DefaultDockerManager implements DockerManager {
                             try {
                                 await this.dockerClient.removeContainer(containerId, { force: true });
 
+                                this.dockerOutputManager.appendLine(`Container ${this.dockerClient.trimId(containerId)} removed.`);
+
                                 return undefined;
                             } catch {
                                 return containerId;