Followup r72108, put the history file in $IP/maintenance rather than the cwd. Also...

diff --git a/maintenance/eval.php b/maintenance/eval.php
index 6ba613b..43db368 100644 (file)
--- a/maintenance/eval.php
+++ b/maintenance/eval.php
@@ -49,7 +49,7 @@ if ( function_exists( 'readline_add_history' )
 
 if ( $useReadline ) {
        $historyFile = isset( $_ENV['HOME'] ) ?
-               "{$_ENV['HOME']}/.mweval_history" : '.mweval_history';
+               "{$_ENV['HOME']}/.mweval_history" : "$IP/maintenance/.mweval_history";
        readline_read_history( $historyFile );
 }