recherche

Maison >développement back-end >tutoriel php >如何更换libedit为libreadline库？

如何更换libedit为libreadline库？

WBOY
WBOYoriginal
2016-08-23 09:17:461721parcourir

我的php5

php5 -i |grep Readline
Readline Support => enabled
Readline library => EditLine wrapper

我想将这个Readline library变更为 libreadline.so.6.3 ,
请问，可否不重新编译，就完成这个动作？

回复内容：

我的php5

php5 -i |grep Readline
Readline Support => enabled
Readline library => EditLine wrapper

我想将这个Readline library变更为 libreadline.so.6.3 ,
请问，可否不重新编译，就完成这个动作？

Déclaration：
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Article précédent：javascript - 如何用php生成能提现层次结构的json格式的数据? Article suivant：按照thinkphp官方文档做了 thinkphp表单令牌 请问应该怎么测试其作用

Articles Liés

Voir plus