dont define the repo if unexistent on the myplc (like when you just installed myplc...

[nodeconfig.git] / PlanetLabConf / myplc.repo.php

diff --git a/PlanetLabConf/myplc.repo.php b/PlanetLabConf/myplc.repo.php
index b0d2960..29c57ed 100644 (file)
--- 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;