Manuale PHP
Indietro		Avanti

readline_read_history

(PHP 4 )

readline_read_history -- Reads the history

Description

bool readline_read_history ( string filename)

This function reads a command history from a file.

Indietro	Partenza	Avanti
readline_list_history	Risali	readline_write_history