Add info that may help solve a bug on some old servers

diff --git a/lib/setup.php b/lib/setup.php
index 8332356ba8f1211ab55898365008a55851ad1370..dde729cd80007d32c778def46c662de55d688020 100644 (file)
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -132,6 +132,11 @@
         $ME = strip_querystring($FULLME);
     }
 
+/// In VERY rare cases old PHP server bugs (it has been found on PHP 4.1.2 running 
+/// as a CGI under IIS on Windows) may require that you uncomment the following:
+//  session_register("USER");
+//  session_register("SESSION");
+
 
 /// Set language/locale of printed times.  If user has chosen a language that 
 /// that is different from the site language, then use the locale specified