commit 0635875745e94dd4d3d2cdabd9f9cc7828fe16f8
parent 871e2105b884cc604124b128527cd5bb396a4a46
Author: Felicitus <felicitus@felicitus.org>
Date: Wed, 27 Jun 2012 21:37:19 +0200
Fixed error with non-trailing slashes
Diffstat:
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/util/gen-jsb3-file.php b/util/gen-jsb3-file.php
@@ -22,6 +22,9 @@ if ($_SERVER["argc"] !== 3) {
// Extract the path and check if the path is actually a directory
$path = $_SERVER["argv"][1];
+if (substr($path, -1) !== "/") {
+ $path .= "/";
+}
if (!is_dir($path)) {
echo "Sorry, we can't read the path $path.\n\n";
@@ -29,8 +32,10 @@ if (!is_dir($path)) {
}
$extjspath = $_SERVER["argv"][2];
-
-if (!is_dir($path)) {
+if (substr($extjspath, -1) !== "/") {
+ $extjspath .= "/";
+}
+if (!is_dir($extjspath)) {
echo "Sorry, we can't read the ExtJS path $extjspath.\n\n";
exit(-1);
}