use readline_read_history instead of rolling our own. This also elimi…

…nates the octal problem (\040 instead of space, for example
bobthecow · Nov 25, 2009 · b67197e · b67197e
1 parent 51c4586
commit b67197e
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/PHP/Repl.php b/PHP/Repl.php
@@ -61,9 +61,7 @@ public function __construct($options = array())
 
         if ($this->options['readline'] &&
             is_readable($this->options['readline_hist'])) {
-            array_map('readline_add_history',
-                      file($this->options['readline_hist'], 
-                           FILE_IGNORE_NEW_LINES|FILE_SKIP_EMPTY_LINES));
+            readline_read_history($this->options['readline_hist']);
         }
 
         if ($this->options['autorun']) {