[git] web/qa.git branch master updated. 1513e48
| From: | bjori@php.net | Date: | Mon, 12 Mar 2012 10:56:38 +0000 |
| Subject: | [git] web/qa.git branch master updated. 1513e48 | ||
| Groups: | php.qa | ||
| Request: | Send a blank email to php-qa+get-66143@lists.php.net to get a copy of this message | ||
The branch master on web/qa.git has been updated
via 1513e48e3d023c860b9226af65573fc6f04dab6a (commit)
from df34f7ffed7c031f5fec4eb812ebe105b75575a3 (commit)
http://git.php.net/?p=web/qa.git;a=log;h=1513e48e3d023c860b9226af65573fc6f04dab6a;hp=df34f7ffed7c031f5fec4eb812ebe105b75575a3
Summary of changes:
pulls/index.php | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
-- Log ----------------------------------------
commit 1513e48e3d023c860b9226af65573fc6f04dab6a
Author: Hannes Magnusson <bjori@php.net>
Date: Mon Mar 12 03:45:59 2012 -0700
Strip whitespace chars (patch by danielc@)
diff --git a/pulls/index.php b/pulls/index.php
index 1635242..84b779f 100644
--- a/pulls/index.php
+++ b/pulls/index.php
@@ -1,6 +1,7 @@
<?php
if (empty($_SERVER['HTTPS'])) {
- header('Location: https://'.$_SERVER['HTTP_HOST'].'/pulls/');
+ $host = preg_replace('/\s/', '', $_SERVER['HTTP_HOST']);
+ header("Location: https://$host/pulls/");
exit;
}
Thank you for your contribution.