3 // part of yum config on nodes
6 // Copyright (C) 2008 INRIA
8 // $Id: myplc.repo.php 9818 2008-07-04 07:54:06Z thierry $
11 // For PLC_NAME and PLC_BOOT_HOST
12 include('plc_config.php');
15 $PLC_BOOT_HOST = PLC_BOOT_HOST;
17 // Get admin API handle
18 require_once 'plc_api.php';
21 if (isset($_REQUEST['gpgcheck'])) {
22 $gpgcheck = $_REQUEST['gpgcheck'];
27 # we assume the node is not so old that it would not send node_id
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..";
36 $node_id = intval($_REQUEST['node_id']);
37 $nodeflavour=$adm->GetNodeFlavour($node_id);
38 $nodefamily=$nodeflavour['nodefamily'];
40 $topdir=$_SERVER['DOCUMENT_ROOT'] . "/install-rpms/" . $nodefamily;
41 $topurl="https://$PLC_BOOT_HOST" . "/install-rpms/" . $nodefamily;
43 if (! is_dir (realpath($topdir))) {
44 echo "# WARNING: plc-side yum repo $topdir NOT FOUND !!";