From: Philip Olson <philip@php.net>
Date: Thu, 30 Jun 2011 23:50:56 +0000 (+0000)
Subject: Updated name to 'PHP Development Server', and CTRL-C to Ctrl-C, as per PHP bug #55071
X-Git-Tag: php-5.5.0alpha1~1850
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7497a0eb4a8057b8f194962066db07230974eea2;p=php

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 1eec3a4f1b..ab2dc6c32b 100644
--- 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);