PHP Handbuch
Zurück
Nach vorne
readline_write_history
(PHP 4 )
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
Nach vorne
readline_read_history
Nach oben
readline