Manuale PHP
IndietroAvanti

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.

IndietroPartenzaAvanti
readline_redisplayRisalireadline

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