git://git.onelab.eu
/
nodeconfig.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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;