summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-01-25 13:42:00 +0100
committerRemi Collet <remi@remirepo.net>2018-01-25 13:42:00 +0100
commit0abcde252d1d955d9aa633b4032e9275ace132a5 (patch)
tree2e81f0daf369582040ecdd22b24885cf41ceec37
parent7adc0cf86d301028e268f1803ee117bdd74586d5 (diff)
use realpath in repomanage example
-rw-r--r--examples/repomanage.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/repomanage.php b/examples/repomanage.php
index 7682c3d..d4916af 100644
--- a/examples/repomanage.php
+++ b/examples/repomanage.php
@@ -39,6 +39,7 @@ if (!isset($rpms)) {
die("Missing rpm directory argument\n");
}
if (is_dir($rpms)) {
+ $rpms = realpath($rpms);
} else {
die("$rpms is not a directory\n");
}