cortesi Tue Apr 30 17:22:44 2002 EDT
Modified files:
/phpdoc/it/features remote-files.xml
Log:
update to EN 1.16
Index: phpdoc/it/features/remote-files.xml
diff -u phpdoc/it/features/remote-files.xml:1.10
phpdoc/it/features/remote-files.xml:1.11
--- phpdoc/it/features/remote-files.xml:1.10 Mon Apr 1 12:50:33 2002
+++ phpdoc/it/features/remote-files.xml Tue Apr 30 17:22:44 2002
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- EN-Revision: 1.15 Maintainer: cortesi Status: ready -->
+<!-- EN-Revision: 1.16 Maintainer: cortesi Status: ready -->
<!-- CREDITS: marco -->
<chapter id="features.remote-files">
<title>Utilizzo di file remoti</title>
@@ -75,7 +75,7 @@
exit;
}
/* Scrive i dati qui. */
-fputs ($file, "$HTTP_USER_AGENT\n");
+fputs ($file, $HTTP_SERVER_VARS['HTTP_USER_AGENT'] . "\n");
fclose ($file);
?>
]]>
