added a <cr>

ChangeLog

@@ -11,6 +11,7 @@ $Source$
           - beautify javascript code;
           - line 363: fixed a js bug.
         * read_dump.php3: coding standards (ident. = 4 space characters).
+        * main.php3, line 33: added a <cr>.
 
 2002-01-18  Marc Delisle  <lem9@users.sourceforge.net>
         * Documentation.html, new download location for the RedHat PHP package,

main.php3

@@ -25,12 +25,12 @@ if (isset($message)) {
 }
 else if (isset($reload) && $reload) {
     // Reloads the navigation frame via JavaScript if required
-
     echo "\n";
     ?>
 <script type="text/javascript" language="javascript1.2">
 <!--
-window.parent.frames['nav'].location.replace('./left.php3?lang=<?php echo $lang; ?>&server=<?php echo $server; ?>'); //-->
+window.parent.frames['nav'].location.replace('./left.php3?lang=<?php echo $lang; ?>&server=<?php echo $server; ?>');
+//-->
 </script>
     <?php
 }