readline_clear_history

(PHP 4, PHP 5)

readline_clear_history -- Löscht die History

Beschreibung

bool readline_clear_history ( void )

Diese Funktion löscht die gesamte Kommandozeilen-History.

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