Руководство по PHP
Пред.		След.

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.

Пред.	Начало	След.
readline_redisplay	Уровень выше	readline