mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Fixed bug #55071. Maybe a bit overkill?
This commit is contained in:
parent
b0683007c9
commit
7907f66e4b
1 changed files with 13 additions and 1 deletions
|
@ -2127,7 +2127,19 @@ int do_cli_server(int argc, char **argv TSRMLS_DC) /* {{{ */
|
|||
}
|
||||
sapi_module.phpinfo_as_text = 0;
|
||||
|
||||
printf("PHP Development Server is listening on %s in %s ... Press Ctrl-C to quit.\n", server_bind_address, document_root);
|
||||
{
|
||||
struct timeval tv;
|
||||
struct tm tm;
|
||||
char buf[52];
|
||||
gettimeofday(&tv, NULL);
|
||||
php_localtime_r(&tv.tv_sec, &tm);
|
||||
php_asctime_r(&tm, buf);
|
||||
printf("PHP Development Server started at %s"
|
||||
"Listening on %s\n"
|
||||
"Document root is %s\n"
|
||||
"Press Ctrl-C to quit.\n",
|
||||
buf, server_bind_address, document_root);
|
||||
}
|
||||
|
||||
#if defined(HAVE_SIGNAL_H) && defined(SIGINT)
|
||||
signal(SIGINT, php_cli_server_sigint_handler);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue