cvs: php-gtk-web /include shared-manual.inc

cmv		Fri Aug 10 16:12:19 2001 EDT

  Modified files:              
    /php-gtk-web/include	shared-manual.inc 
  Log:
  debugging
  
Index: php-gtk-web/include/shared-manual.inc
diff -u php-gtk-web/include/shared-manual.inc:1.29 php-gtk-web/include/shared-manual.inc:1.30
--- php-gtk-web/include/shared-manual.inc:1.29	Fri Aug 10 16:08:26 2001
+++ php-gtk-web/include/shared-manual.inc	Fri Aug 10 16:12:19 2001
@@ -382,13 +382,17 @@
 
 function manualHeader($title,$id="") {
 	global $HTDIG, $LANGUAGES, $LANG, $SIDEBAR_DATA;
+	manualLastModified($title,$id);
+	makeBorderTOC($title);
+	commonHeader('Manual: '.$title);
 
 	# probably a better way/place to do this, but ...
 
-	global $HTTP_GET_VARS, $SCRIPT_NAME, $HTTP_REFERER;
+	global $HTTP_GET_VARS, $HTTP_SERVER_VARS;
 	if ($HTTP_GET_VARS['rate_id'] && $HTTP_GET_VARS['rate_note']) {
-		$p = parse_url($HTTP_REFERER);
-		if ($SCRIPT_NAME==$p['path']) {		/* prevent outside scripts from voting */
+		$p = parse_url($HTTP_SERVER_VARS['HTTP_REFERER']);
+		/* prevent outside scripts from voting */
+		if ($HTTP_SERVER_VARS['SCRIPT_NAME']==$p['path']) {
 			$host = 'localhost';
 			$user = 'nobody';
 			$pass = '';
@@ -400,9 +404,9 @@
 		}
 	}
 
-	manualLastModified($title,$id);
-	makeBorderTOC($title);
-	commonHeader('Manual: '.$title);
+print_r($p);
+echo $HTTP_SERVER_VARS['SCRIPT_NAME'] . '-' .$HTTP_SERVER_VARS['HTTP_REFERER'];
+
         # create links to plain html and other languages
 	if (!$HTDIG) {
 		navigationBar($title, $id, "top");