use encodeURIComponent() instead of escape() in ajax.js

[lhc/web/wiklou.git] / maintenance / commandLine.inc

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index 68afea8..93edce1 100644 (file)
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -157,7 +157,7 @@ if ( file_exists( '/home/wikipedia/common/langlist' ) ) {
        if ( isset( $options['conf'] ) ) {
                $settingsFile = $options['conf'];
        } else {
-               $settingsFile = "../he/LocalSettings.php";
+               $settingsFile = "$IP/LocalSettings.php";
        }
 
        if ( ! is_readable( $settingsFile ) ) {