+++ /dev/null
-<?php
-//
-// part of yum config on nodes
-//
-// Thierry Parmentelat
-// Copyright (C) 2008 INRIA
-//
-// $Id: myplc.repo.php 9818 2008-07-04 07:54:06Z thierry $
-//
-
-// For PLC_NAME and PLC_BOOT_HOST
-include('plc_config.php');
-
-$PLC_NAME = PLC_NAME;
-$PLC_BOOT_HOST = PLC_BOOT_HOST;
-
-// Get admin API handle
-require_once 'plc_api.php';
-global $adm;
-
-if (isset($_REQUEST['gpgcheck'])) {
- $gpgcheck = $_REQUEST['gpgcheck'];
-} else {
- $gpgcheck = 0;
-}
-
-# get node family
-if ( ! isset($_REQUEST['slicefamily'])) {
- # legacy : use the old naming scheme
- $nodefamily="planetlab";
- $pldistro="planetlab";
- } else {
- $slicefamily = $_REQUEST['slicefamily'];
- echo "# slicefamily $slicefamily \n" ;
- list( $pldistro, $fcdistro, $arch) = split ("-", $slicefamily);
- $nodefamily = "$pldistro-$arch";
- echo "# nodefamily $nodefamily \n" ;
- }
-
-# the nodegroups the node is part of
-$nodegroup_names=array();
-
-if ( ! isset($_REQUEST['node_id'])) {
- print "# Warning : node_id not set\n";
- } else {
- $node_id=intval($_REQUEST['node_id']);
- echo "# node_id $node_id \n";
- # compute nodegroups
- $nodes = $adm->GetNodes(array('node_id'=>$node_id));
- $nodegroup_ids = $nodes[0]['nodegroup_ids'];
- $nodegroups = $adm->GetNodeGroups($nodegroup_ids);
- foreach ($nodegroups as $nodegroup) {
- $nodegroup_name = $nodegroup['groupname'];
- $nodegroup_names [] = $nodegroup_name;
- echo "# in nodegroup $nodegroup_name \n" ;
- }
- }
-
-$topdir=$_SERVER['DOCUMENT_ROOT'] . "/install-rpms/";
-$topurl="https://$PLC_BOOT_HOST" . "/install-rpms/";
-
-
-# locate the planetlab repo for this node family & nodegroup
-$repo=NULL;
-foreach ($nodegroup_names as $nodegroup_name) {
- $groupdir = "$nodefamily-$nodegroup_name";
- # have we got a repo like /install-rpms/planetlab-i386-alpha ?
- echo "# trying " . $topdir . $groupdir . "\n";
- if (is_dir (realpath($topdir . $groupdir))) {
- $repo=array($pldistro, $groupdir, "$PLC_NAME $nodefamily $nodegroup_name");
- break;
- }
-}
-
-# if not found yet
-if ( ! $repo) {
- echo "# trying default " . $topdir . $nodefamily . "\n";
- if (is_dir (realpath($topdir . $nodefamily))) {
- $repo = array($pldistro, $nodefamily, "$PLC_NAME $nodefamily regular");
- }
- }
-
-# default: if we're here it's probably very wrong
-if ( ! $repo) {
- echo "# WARNING: could not find a decent planetlab repo for this node\n";
- $repo = array ($pldistro, "planetlab", "default probably wrong");
- # don't define the repo in this case
- exit;
- }
-
-list( $id, $dir, $name) = $repo;
-
-echo <<< __PLC_REPO__
-[$id]
-name=$name
-baseurl=$topurl/$dir
-gpgcheck=$gpgcheck
-
-__PLC_REPO__;
-
-?>