cvs: php-master-web /scripts update-backend update-user-notes
| From: | Jim Winstead | Date: | Mon, 01 Oct 2001 02:46:04 +0000 |
| Subject: | cvs: php-master-web /scripts update-backend update-user-notes | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-6778@lists.php.net to get a copy of this message | ||
jimw Sun Sep 30 22:46:04 2001 EDT
Modified files:
/php-master-web/scripts update-backend update-user-notes
Log:
no more noise when we can't connect to master.php.net
Index: php-master-web/scripts/update-backend
diff -u php-master-web/scripts/update-backend:1.3 php-master-web/scripts/update-backend:1.4
--- php-master-web/scripts/update-backend:1.3 Sat Sep 29 12:25:39 2001
+++ php-master-web/scripts/update-backend Sun Sep 30 22:46:04 2001
@@ -20,7 +20,6 @@
function fetch_into_file($url,$file) {
$source = @fopen($url,"r");
if (!$source) {
- echo "failed to open '$url' for reading\n";
return;
}
Index: php-master-web/scripts/update-user-notes
diff -u php-master-web/scripts/update-user-notes:1.4 php-master-web/scripts/update-user-notes:1.5
--- php-master-web/scripts/update-user-notes:1.4 Sun Sep 30 01:26:23 2001
+++ php-master-web/scripts/update-user-notes Sun Sep 30 22:46:04 2001
@@ -13,7 +13,7 @@
/* get user notes */
$fp = @fopen("http://master.php.net/fetch/user-notes.php?token=$token".($since?"&since=$since":""),"r");
-if (!$fp) die("unable to connect to master to get notes");
+if (!$fp) exit;
$count = 0;