readline_write_history
(PHP 4, PHP 5)
readline_write_history — Writes the history
Description
   bool readline_write_history
    ([ string $filename
  ] )
  This function writes the command history to a file.
Parameters
- filename
- 
      Path to the saved file. 
Return Values
Επιστρέφει TRUE σε επιτυχία ή FALSE σε αποτυχία.