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.