diff options
| author | Moriyoshi Koizumi <moriyoshi@php.net> | 2011-07-21 07:31:29 +0000 |
|---|---|---|
| committer | Moriyoshi Koizumi <moriyoshi@php.net> | 2011-07-21 07:31:29 +0000 |
| commit | 56c563dff7de07816ed43a7dd958952dc3b514ff (patch) | |
| tree | 4509b69d5f7a9e832f0aba390d2b535c77520ab5 /sapi/cli/php_cli_server.c | |
| parent | 530311f4bae68cbc9a8a1ad00d6d0f5d12bbd70e (diff) | |
| download | php-git-56c563dff7de07816ed43a7dd958952dc3b514ff.tar.gz | |
- Show PHP_VERSION in the banner. Suggested by Chris and others.
Diffstat (limited to 'sapi/cli/php_cli_server.c')
| -rw-r--r-- | sapi/cli/php_cli_server.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sapi/cli/php_cli_server.c b/sapi/cli/php_cli_server.c index 04d24684e5..b33c8b0eb7 100644 --- a/sapi/cli/php_cli_server.c +++ b/sapi/cli/php_cli_server.c @@ -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) |