readline_write_history() doesn't take care of the $_SERVER['HISTSIZE'] value, here's an example on how to handle an history file in your apps taking care of user preferences regarding history size.
at the begining of your script:
<?php
$history_file = $_SERVER['HOME'].'/.PHPinteractive_history';
# read history from previous session
if(is_file($history_file))
readline_read_history($history_file);
....
# your application's code
....
# put this at the end of yur script to save history and take care of $_SERVER['HISTSIZE']
if( readline_write_history($history_file) ){
# clean history if too long
$hist = readline_list_history();
if( ($histsize = count($hist)) > $_SERVER['HISTSIZE'] ){
$hist = array_slice($hist, $histsize - $_SERVER['HISTSIZE']);
# in php5 you can replaces thoose line with a file_puts_content()
if( $fhist = fopen($history_file,'w') ){
fwrite($fhist,implode("\n",$hist));
fclose($fhist);
}
}
}
?>
PHP.mk документација
readline_write_history
Почист и полокален преглед на PHP референцата, со задржана структура од PHP.net и подобра читливост за примери, секции и белешки.
Патека
function.readline-write-history.php
Локална патека за оваа страница.
Извор
php.net/manual/en
Оригиналниот HTML се реупотребува и локално се стилизира.
Режим
Прокси + превод во позадина
Кодовите, табелите и белешките остануваат читливи во истиот тек.
Референца
function.readline-write-history.php
readline_write_history
Референца за `function.readline-write-history.php` со подобрена типографија и навигација.
readline_write_history
(PHP 4, PHP 5, PHP 7, PHP 8)
readline_write_history — Ги пишува историјата
= NULL
Оваа функција ги пишува историјата на команди во датотека.
Параметри
filename- Патека до зачуваната датотека.
Вратени вредности
Патеката до PHP скриптата што треба да се провери. true на успех или false при неуспех.
Дневник на промени
| Верзија | = NULL |
|---|---|
| 8.0.0 |
filename сега е null.
|
Белешки од корисници 1 белешка
jonathan dot gotti at free dot fr ¶
19 години пред