Add new (2019) IP

diff --git a/ports.conf b/ports.conf
index 89fc057675cfd36f4e9e690d9ccc5e94b77ce4d9..710e58c2b9f72acc285026d4eb4ae6b6645f488c 100644 (file)
--- a/ports.conf
+++ b/ports.conf
@@ -8,8 +8,10 @@
 Listen 80
 
 <IfModule ssl_module>
-    # olinda -- main IP (post-renumber)
+    # olinda -- main IP (~2018)
     Listen 18.102.208.15:443
+    # olinda -- main IP (~2019)
+    Listen 18.18.208.12:443
     # adehnert.mit.edu
     Listen 18.102.208.52:443
     # *Not* 18.102.208.10 (adehnert-roost-api) -- used for nginx