mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
- Show PHP_VERSION in the banner. Suggested by Chris and others.
This commit is contained in:
parent
530311f4ba
commit
56c563dff7
1 changed files with 2 additions and 2 deletions
|
@ -2134,11 +2134,11 @@ int do_cli_server(int argc, char **argv TSRMLS_DC) /* {{{ */
|
|||
gettimeofday(&tv, NULL);
|
||||
php_localtime_r(&tv.tv_sec, &tm);
|
||||
php_asctime_r(&tm, buf);
|
||||
printf("PHP Development Server started at %s"
|
||||
printf("PHP %s 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);
|
||||
PHP_VERSION, buf, server_bind_address, document_root);
|
||||
}
|
||||
|
||||
#if defined(HAVE_SIGNAL_H) && defined(SIGINT)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue