readline_write_history
(PHP 4, PHP 5)
readline_write_history — Writes the history
Beskrivelse
bool readline_write_history
([ string $filename
] )
This function writes the command history to a file.
Parameterliste
- filename
-
Path to the saved file.
Returneringsværdier
Returnerer TRUE ved succes, FALSE ved fejl.