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.

Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 17:57:08