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 | |
| parent | 7adc0cf86d301028e268f1803ee117bdd74586d5 (diff) | |
use realpath in repomanage example
| -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"); } |
