From 2018b00e34ddc10b68cdb70d5bfcac2e0e75421c Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat 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.43.0