Don't add pidproxy.py since it is not needed anymore.

2017-04-07 02:12:09 -07:00
parent 0cbb2d8e38
commit 2907087057
1 changed files with 0 additions and 4 deletions
--- 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