From 081fca133c735d0ae7f848bcd19064672222a276 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Fri, 22 Aug 2003 23:44:48 +0000
Subject: [PATCH] Style sheet related modifications.

svn path=/trunk/boinc/; revision=2186
---
 html/forum/rate.php | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/html/forum/rate.php b/html/forum/rate.php
index 1ab2a35a92..75127d4643 100644
--- a/html/forum/rate.php
+++ b/html/forum/rate.php
@@ -11,33 +11,33 @@ if (!empty($_GET['post'])) {
     if ($choice == SOLUTION) {
         $rating = 1;
     } else if ($choice == OFF_TOPIC) {
-        $rating = -1;   
+        $rating = -1;
     }
-    
+
     // TODO: Define constants for these.
     if ($choice == null && ($rating == null || $rating > 2 || $rating < -2)) {
         show_result_page(false, NULL, $choice);
         exit();
     }
-    
-    $user = get_logged_in_user($true, '../');   
+
+    $user = get_logged_in_user($true, '../');
 
     $result = mysql_query("SELECT * FROM post WHERE id = $postId");
    	if ($result) {
         if (mysql_num_rows($result) > 0) {
    	        $post = mysql_fetch_object($result);
-   	        
+
    	        if ($choice == NULL || $choice == SOLUTION || $choice == OFF_TOPIC) {
            		$points = $post->votes * $post->score;
            		$votes = $post->votes + 1;
            		$score = ($points + $rating) / $votes;
-           
+
            		$result2 = mysql_query("UPDATE post SET votes = $votes, score = $score WHERE id = $postId");
        		} else if ($choice == SUFFERER) {
 	       		$sql = "UPDATE thread SET sufferers = sufferers + 1 WHERE id = " . $post->thread;
-	       		$result2 = mysql_query($sql);  			
+	       		$result2 = mysql_query($sql);
        		}
-       		       		
+
            	if ($result2) {
                 show_result_page(true, $post, $choice);
            	} else {
@@ -53,20 +53,20 @@ if (!empty($_GET['post'])) {
 
 function show_result_page($success, $post, $choice) {
     $logged_in_user = get_logged_in_user(false, '../');
-		
+
 		if ($success) {
 	    if ($choice) {
-		    page_head('Input Recorded', $logged_in_user, NULL, 'forum.css');	
+		    page_head('Input Recorded', $logged_in_user);
 				echo "<span class=\"title\">Helpdesk Input Recorded</span>";
 				echo "<p>Your input has been successfully recorded.  Thank you for your help.</p>";
 	    } else {
-		    page_head('Vote Registered', $logged_in_user, NULL, 'forum.css');	
+		    page_head('Vote Registered', $logged_in_user);
         echo "<span class=\"title\">Vote Registered</span>";
         echo "<p>Your rating has been successfully recorded.  Thank you for your input.</p>";
     	}
     	echo "<a href=\"thread.php?id=", $post->thread, "#", $post->id, "\">Return to thread</a>";
     } else {
-	    	page_head('Vote Submission Problem', $logged_in_user, NULL, 'forum.css');	
+	    	page_head('Vote Submission Problem', $logged_in_user);	
         echo "<span class=\"title\">Vote submission failed</span>";
         if ($post) {
             echo "<p>There was a problem recording your vote in our database.  Please try again later.</p>";