nodeconfig/yum/myplc.repo.php

   1 <?php
   2 //
   3 // part of yum config on nodes
   4 //
   5 // Thierry Parmentelat
   6 // Copyright (C) 2008 INRIA
   7 //
   8 // $Id: myplc.repo.php 9818 2008-07-04 07:54:06Z thierry $
   9 //
  10
  11 // For PLC_NAME and PLC_BOOT_HOST
  12 include('plc_config.php');
  13
  14 $PLC_NAME = PLC_NAME;
  15 $PLC_BOOT_HOST = PLC_BOOT_HOST;
  16
  17 // Get admin API handle
  18 require_once 'plc_api.php';
  19 global $adm;
  20
  21 if (isset($_REQUEST['gpgcheck'])) {
  22   $gpgcheck = $_REQUEST['gpgcheck'];
  23 } else {
  24   $gpgcheck = 0;
  25 }
  26
  27 # we assume the node is not so old that it would not send node_id
  28 # get node family
  29 if ( ! isset($_REQUEST['node_id'])) {
  30   echo "# myplc.repo.php: node_id is needed";
  31   echo "# looks like you're running a very old NodeManager...";
  32   echo "# bailing out..";
  33   exit;
  34  }
  35
  36 $node_id = intval($_REQUEST['node_id']);
  37 $nodeflavour=$adm->GetNodeFlavour($node_id);
  38 $nodefamily=$nodeflavour['nodefamily'];
  39
  40 $topdir=$_SERVER['DOCUMENT_ROOT'] . "/install-rpms/" . $nodefamily;
  41 $topurl="https://$PLC_BOOT_HOST" . "/install-rpms/" . $nodefamily;
  42
  43 if (! is_dir (realpath($topdir))) {
  44   echo "# WARNING: plc-side yum repo $topdir NOT FOUND !!";
  45  }
  46
  47 echo <<< __PLC_REPO__
  48 [$id]
  49 name=$name
  50 baseurl=$topurl
  51 gpgcheck=$gpgcheck
  52
  53 __PLC_REPO__;
  54
  55 ?>