[PHP-DOC] cvs: phpdoc /it/features error-handling.xml http-auth.xml

[Simone Cortesi]

cortesi         Sun Dec 30 19:28:29 2001 EDT

  Modified files:              
    /phpdoc/it/features error-handling.xml http-auth.xml 
  Log:
  sync with EN
  
  
Index: phpdoc/it/features/error-handling.xml
diff -u phpdoc/it/features/error-handling.xml:1.7 
phpdoc/it/features/error-handling.xml:1.8
--- phpdoc/it/features/error-handling.xml:1.7   Mon Dec 17 21:01:45 2001
+++ phpdoc/it/features/error-handling.xml       Sun Dec 30 19:28:29 2001
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- EN-Revision: 1.23 Maintainer: cortesi Status: ready -->
+<!-- EN-Revision: 1.24 Maintainer: cortesi Status: ready -->
  <chapter id="features.error-handling">
   <title>Gestione degli errori</title>
  
@@ -211,7 +211,7 @@
     
     $err = "<errorentry>\n";
     $err .= "\t<datetime>".$dt."</datetime>\n";
-    $err .= "\t<errornum>".$errno."</errnumber>\n";
+    $err .= "\t<errornum>".$errno."</errornum>\n";
     $err .= "\t<errortype>".$errortype[$errno]."</errortype>\n";
     $err .= "\t<errormsg>".$errmsg."</errormsg>\n";
     $err .= "\t<scriptname>".$filename."</scriptname>\n";
Index: phpdoc/it/features/http-auth.xml
diff -u phpdoc/it/features/http-auth.xml:1.9 phpdoc/it/features/http-auth.xml:1.10
--- phpdoc/it/features/http-auth.xml:1.9        Tue Dec 18 11:18:17 2001
+++ phpdoc/it/features/http-auth.xml    Sun Dec 30 19:28:29 2001
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- EN-Revision: 1.19 Maintainer: cortesi Status: ready -->
+<!-- EN-Revision: 1.20 Maintainer: cortesi Status: ready -->
  <chapter id="features.http-auth">
   <title>Autenticazione HTTP usando PHP</title>
 
@@ -25,7 +25,7 @@
     <programlisting role="php">
 <![CDATA[
 <?php
-  if(!isset($PHP_AUTH_USER)) {
+  if (!isset($PHP_AUTH_USER)) {
     Header("WWW-Authenticate: Basic realm=\"Il mio Regno\"");
     Header("HTTP/1.0 401 Unauthorized");
     echo "Messaggio da inviare se si preme il tasto Cancel\n";
@@ -104,13 +104,13 @@
     exit;
   }
  
-  if(!isset($PHP_AUTH_USER) || ($SeenBefore == 1 && !strcmp($OldAuth, 
$PHP_AUTH_USER)) ) {
+  if (!isset($PHP_AUTH_USER) || ($SeenBefore == 1 && !strcmp($OldAuth, 
+$PHP_AUTH_USER))) {
    authenticate();
   } 
   else {
    echo "<p>Benvenuto: $PHP_AUTH_USER<br>";
    echo "Vecchio: $OldAuth";
-   echo "<form action='$PHP_SELF' method=POST>\n";
+   echo "<form action='$PHP_SELF' method='POST'>\n";
    echo "<input type='HIDDEN' name='SeenBefore' value='1'>\n";
    echo "<input type='HIDDEN' name='OldAuth' value='$PHP_AUTH_USER'>\n";
    echo "<input type='submit' value='Re Authenticate'>\n";