From 2018b00e34ddc10b68cdb70d5bfcac2e0e75421c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 4 Jul 2008 00:06:06 +0000
Subject: [PATCH] dont define the repo if unexistent on the myplc (like when
you just installed myplc); this would break yum
---
PlanetLabConf/myplc.repo.php | 2 ++
1 file changed, 2 insertions(+)
diff --git a/PlanetLabConf/myplc.repo.php b/PlanetLabConf/myplc.repo.php
index b0d2960..29c57ed 100644
--- a/PlanetLabConf/myplc.repo.php
+++ b/PlanetLabConf/myplc.repo.php
@@ -84,6 +84,8 @@ if ( ! $repo) {
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;
--
2.47.0