Remove references to commit_id. It is not used.

FreshPorts · Oct 13, 2017 · 7cf5dd4 · 7cf5dd4
1 parent 2529299
commit 7cf5dd4
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/www/commit.php b/www/commit.php
@@ -19,15 +19,12 @@
 DEFINE('NEXT_PAGE',		'Next');
 
 	$message_id = '';
-	$commit_id  = '';
 	$page       = '';
 	$page_size  = '';
 
 	if (IsSet($_GET['message_id'])) $message_id = pg_escape_string($_GET['message_id']);
-	if (IsSet($_GET['commit_id']))  $commit_id  = pg_escape_string($_GET['commit_id']);
 	if (IsSet($_GET['revision']))   $revision   = pg_escape_string($_GET['revision']);
 
-	# I'm quite sure we use only message_id, and never commit_id.
 	if ($message_id != '') {
 		require_once($_SERVER['DOCUMENT_ROOT'] . '/../classes/commit.php');
 
@@ -155,7 +152,7 @@ function freshports_CommitNextPreviousPage($URL, $NumRowsTotal, $PageNo, $PageSi
   </TR>
 <?
 }
-	if ($message_id != '' || $commit_id != '' || $revision != '') {
+	if ($message_id != '' || $revision != '') {
 
 ?>