PHP Handbuch
Zurück		Weiter

readline_read_history

(PHP 4, PHP 5)

readline_read_history -- Liest die History

Beschreibung

bool readline_read_history ( [string Dateiname] )

Diese Funktion liest eine Kommando-History aus einer Datei.

Zurück	Zum Anfang	Weiter
readline_on_new_line	Nach oben	readline_redisplay