PHP Handbuch
Zurück		Weiter

readline_write_history

(PHP 4, PHP 5)

readline_write_history -- Schreibt die History

Beschreibung

bool readline_write_history ( [string Dateiname] )

Diese Funktion schreibt die Kommando-History in eine Datei.

Zurück	Zum Anfang	Weiter
readline_redisplay	Nach oben	readline