X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=PlanetLabConf%2Fmyplc.repo.php;h=29c57ed0012067b577686781c5814985d2fdad91;hb=2018b00e34ddc10b68cdb70d5bfcac2e0e75421c;hp=b0d29605c24748a34a9d8b44ca2b31ff06fd5544;hpb=26edc8a8f35dd504a344c21c09ab53f9dcca7949;p=nodeconfig.git

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;