[git] web/master.git branch master updated. 8181453

The branch, master on web/master.git has been updated from 4fe64dfdc12c4bd8965ba4af73b900a545a012fb (commit) to 8181453dbb6b46b5da50cf744643c6d1380e97f0 (commit) http://git.php.net/?p=web/master.git;a=log;h=8181453dbb6b46b5da50cf744643c6d1380e97f0;hp=4fe64dfdc12c4bd8965ba4af73b900a545a012fb Summary of changes: scripts/update-user-notes | 19 +++++++++++++++---- 1 files changed, 15 insertions(+), 4 deletions(-) -- Log ---------------------------------------- commit 8181453dbb6b46b5da50cf744643c6d1380e97f0 Author: Rasmus Lerdorf <rasmus@php.net> Date: Mon Jan 23 18:47:00 2012 -0800 No ssl stream on the ancient rsync box, so fake it diff --git a/scripts/update-user-notes b/scripts/update-user-notes index ef90da3..64ac120 100755 --- a/scripts/update-user-notes +++ b/scripts/update-user-notes @@ -20,11 +20,22 @@ if (substr($root,-1) != '/') { } $since = $argv[2]; +$SSL_fopen = false; +if(in_array('https', stream_get_wrappers())) { + $SSL_fopen = true; +} + /* get user notes */ -$fp = @fopen( - "https://master.php.net/fetch/user-notes.php?token=$token".($since?"&since=$since":""), - "r" -); +if($SSL_fopen) { + $fp = @fopen( + "https://master.php.net/fetch/user-notes.php?token=$token".($since?"&since=$since":""), + "r" + ); +} else { + $url = escapeshellarg("https://master.php.net/fetch/user-notes.php?token=$token".($since?"&since=$since":"")); + $fp = popen("curl -s $url",'r'); +} + if (!$fp) { exit(1); } Thank you for your contribution.