to support pl_mom mail lists

[nodeconfig.git] / get_plc_config.php

diff --git a/get_plc_config.php b/get_plc_config.php
index c96a265..f34b653 100755 (executable)
--- a/get_plc_config.php
+++ b/get_plc_config.php
@@ -6,7 +6,7 @@
 // Mark Huang <mlhuang@cs.princeton.edu>
 // Copyright (C) 2006 The Trustees of Princeton University
 //
-// $Id: get_plc_config.php,v 1.1 2006/11/06 22:02:17 mlhuang Exp $
+// $Id$
 //
 
 // Try the new plc_config.php file first
@@ -36,6 +36,7 @@ foreach (array('PLC_API_HOST', 'PLC_API_PATH', 'PLC_API_PORT',
               'PLC_WWW_HOST', 'PLC_BOOT_HOST',
               'PLC_NAME', 'PLC_SLICE_PREFIX',
               'PLC_MAIL_SUPPORT_ADDRESS',
+              'PLC_MAIL_MOM_LIST_ADDRESS',
               'PLC_MAIL_SLICE_ADDRESS')
         as $name) {
   if (defined($name)) {