@ -315,6 +315,8 @@ int php_cli_server_get_system_time(char *buf) {
struct tm tm;
gettimeofday(&tv, NULL);
/* TODO: should be checked for NULL tm/return vaue */
php_localtime_r(&tv.tv_sec, &tm);
php_asctime_r(&tm, buf);
return 0;