PHP Handbuch
ZurückVor

readline_write_history

(PHP 4 >= 4.0.0)

readline_write_history -- Schreibt die History

Beschreibung

bool readline_write_history (string dateiname)

Diese Funktion schreibt die Kommando-History in eine Datei.

ZurückAnfangVor
readline_read_historyHochGNU Recode Funktionen