Updated name to 'PHP Development Server', and CTRL-C to Ctrl-C, as per PHP bug #55071

diff --git a/sapi/cli/php_cli_server.c b/sapi/cli/php_cli_server.c
index 1eec3a4f1bee8ada5bc5530d424c6ffe5004a932..ab2dc6c32b6913903e2cab2a99789ebadb60ec72 100644 (file)
--- a/sapi/cli/php_cli_server.c
+++ b/sapi/cli/php_cli_server.c
@@ -2081,7 +2081,7 @@ int do_cli_server(int argc, char **argv TSRMLS_DC) /* {{{ */
        }
        sapi_module.phpinfo_as_text = 0;
 
-       printf("Server is listening on %s:%d in %s ... Press CTRL-C to quit.\n", server.host, server.port, document_root);
+       printf("PHP Development Server is listening on %s:%d in %s ... Press Ctrl-C to quit.\n", server.host, server.port, document_root);
 
 #if defined(HAVE_SIGNAL_H) && defined(SIGINT)
        signal(SIGINT, php_cli_server_sigint_handler);