3 // part of yum config on nodes
6 // Copyright (C) 2008 INRIA
12 // For PLC_NAME and PLC_BOOT_HOST
13 include('plc_config.php');
16 $PLC_BOOT_HOST = PLC_BOOT_HOST;
18 // Get admin API handle
19 require_once 'plc_api.php';
22 if (isset($_REQUEST['gpgcheck'])) {
23 $gpgcheck = $_REQUEST['gpgcheck'];
28 echo "# Generated by myplc.repo.php\n";
30 echo '# $URL$' . "\n";
31 # we assume the node is not so old that it would not send node_id
33 if ( ! isset($_REQUEST['node_id'])) {
34 echo "# node_id is needed\n";
35 echo "# looks like you're running a very old NodeManager...\n";
36 echo "# bailing out..\n";
40 $node_id = intval($_REQUEST['node_id']);
41 $nodeflavour=$adm->GetNodeFlavour($node_id);
42 $nodefamily=$nodeflavour['nodefamily'];
44 $topdir=$_SERVER['DOCUMENT_ROOT'] . "/install-rpms/" . $nodefamily;
45 $topurl="https://$PLC_BOOT_HOST" . "/install-rpms/" . $nodefamily;
47 if ( is_dir (realpath($topdir))) {
48 echo "# This directory was checked to exist on the server-side\n";
50 echo "# WARNING: plc-side yum repo $topdir NOT FOUND !!\n";
54 $repo_name="$PLC_NAME $nodefamily";