Manuale PHP
Indietro		Avanti

readline_add_history

(PHP 4 , PHP 5)

readline_add_history -- Adds a line to the history

Description

void readline_add_history ( string line )

This function adds a line to the command line history.

Indietro	Partenza	Avanti
GNU Readline	Risali	readline_callback_handler_install

Hosting by: hurra.com
Generated: 2007-01-26 17:56:32