Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.7">

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.