Determine how long PHP executed so far
Можно быстро рассмотреть изменения, внесенные в файл с помощью различной команды:
git diff <commit hash> <filename>
Затем для возвращения определенного файла к той фиксации используют команду сброса:
git reset <commit hash> <filename>
Вы, возможно, должны использовать --hard опция, если у Вас есть локальные модификации.
А хороший рабочий процесс для managaging waypoints должен использовать теги для чистой маркировки точек во временной шкале. Я не могу вполне понять Ваше последнее предложение, но что можно хотеть, отличают ответвление от предыдущего момента времени. Чтобы сделать это, используйте удобную команду контроля:
git checkout <commit hash>
git checkout -b <new branch name>
можно затем повторно основывать это против магистрали, когда Вы готовы объединить те изменения:
git checkout <my branch>
git rebase master
git checkout master
git merge <my branch>
2 ответа
Вызвать функцию microtime(true) для получения текущего времени с разрешением в миллисекундах.
<?php
$startTime = microtime(true);
/*stuff is going on*/
echo "Elapsed time is: ". (microtime(true) - $startTime) ." seconds";
Вы можете просто использовать стандартное время ожидания PHP и реализовать функцию shutdown .
function say_goodbye() {
if (connection_status() == CONNECTION_TIMEOUT) {
... do your special processing to save the process state here
... then formulate a response for the browser
}
} // function say_goodbye()
register_shutdown_function("say_goodbye");
Обратите внимание, что вы можете настроить функцию отключения на прием параметров
РЕДАКТИРОВАТЬ
function say_goodbye($controller1,$controller2) {
if (connection_status() == CONNECTION_TIMEOUT) {
... do your special processing to save the process state here
... then formulate a response for the browser
}
} // function say_goodbye()
$ctl1 = new DBController();
$ctl2 = new OPController();
register_shutdown_function("say_goodbye",$ctl1,$ctl2);