From 2907087057190a8c2fe753bfcc8689c61af3ed1f Mon Sep 17 00:00:00 2001
From: Abhilash Raj <raj.abhilash1@gmail.com>
Date: Fri, 7 Apr 2017 02:12:09 -0700
Subject: [PATCH] Don't add pidproxy.py since it is not needed anymore.

---
 core/Dockerfile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/core/Dockerfile b/core/Dockerfile
index 0dbede1..6cb6779 100644
--- a/core/Dockerfile
+++ b/core/Dockerfile
@@ -13,10 +13,6 @@ RUN apt-get update && apt-get install -y postgresql-client wget \
 
 ADD assets/run.sh /opt/run.sh
 
-# Pidproxy is our sort-of process watcher that sends any
-# signal that it receives to the mailman's master process.
-ADD assets/pidproxy.py /opt/pidproxy.py
-
 # Change the working directory.
 WORKDIR /opt/mailman