Manuel PHP
   |
|
Table : .readline add history.readline callback handler install .readline callback handler remove .readline callback read char .readline clear history .readline completion function .readline info .readline list history .readline on new line .readline read history .readline redisplay .readline write history .readline |
readline_callback_handler_removereadline_callback_handler_remove(PHP 5 >= 5.1.0RC1) readline_callback_handler_remove -- Efface un gestionnaire de callback installé précédemment et restaure les paramètres du terminalDescriptionbool readline_callback_handler_remove ( void )readline_callback_handler_remove() efface un gestionnaire de callback installé précédemment et restaure les paramètres du terminal. ExemplesVoir la fonction readline_callback_handler_install() pour un exemple concernant l'utilisation de l'interface de callback readline. Valeurs de retourRetourne TRUE si un gestionnaire de callback précédemment installé a été effacé ou FALSE s'il n'a pas été trouvé.
|
Web
Ajouter ce moteur
