diff options
author | Remi Collet <remi@remirepo.net> | 2018-01-25 13:42:00 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-01-25 13:42:00 +0100 |
commit | 0abcde252d1d955d9aa633b4032e9275ace132a5 (patch) | |
tree | 2e81f0daf369582040ecdd22b24885cf41ceec37 /examples/repomanage.php | |
parent | 7adc0cf86d301028e268f1803ee117bdd74586d5 (diff) |
use realpath in repomanage example
Diffstat (limited to 'examples/repomanage.php')
-rw-r--r-- | examples/repomanage.php | 1 |
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"); } |