PlanetLabConf/issue.php

   1 <?php
   2 //
   3 // /etc/issue
   4 //
   5 // Mark Huang <mlhuang@cs.princeton.edu>
   6 // Copyright (C) 2004-2006 The Trustees of Princeton University
   7 //
   8 // $Id$
   9 //
  10
  11 // For PLC_NAME, etc.
  12 include('plc_config.php');
  13
  14 $PLC_NAME = PLC_NAME;
  15 $PLC_WWW_HOST = PLC_WWW_HOST;
  16 $PLC_WWW_PORT = PLC_WWW_PORT;
  17 $PLC_MAIL_SUPPORT_ADDRESS = PLC_MAIL_SUPPORT_ADDRESS;
  18
  19 if ($PLC_WWW_PORT == 443) {
  20   $PLC_WWW_URL = "https://$PLC_WWW_HOST/";
  21 } elseif ($PLC_WWW_PORT != 80) {
  22   $PLC_WWW_URL = "http://$PLC_WWW_HOST:$PLC_WWW_PORT/";
  23 } else {
  24   $PLC_WWW_URL="http://$PLC_WWW_HOST/";
  25 }
  26
  27 echo <<<EOF
  28 $PLC_NAME Node: \\n
  29 Kernel \\r on an \\m
  30 $PLC_WWW_URL
  31
  32 This machine is a node in the $PLC_NAME distributed network. If you
  33 require assistance in administering this node, please contact
  34 ${PLC_MAIL_SUPPORT_ADDRESS}.
  35
  36 Console login to this node is restricted to site_admin.
  37
  38
  39 EOF;
  40
  41 ?>