From f41564c0a8e58484e550935469ac67177042978a Thu, 22 Mar 2012 11:21:24 +0100
From: Dario Giovannetti <dariogiova@gmail.com>
Date: Thu, 22 Mar 2012 11:20:52 +0100
Subject: [PATCH] Query package details directly by name

diff --git a/web/html/packages.php b/web/html/packages.php
index dc06c7e..4c1dce7 100644
--- a/web/html/packages.php
+++ b/web/html/packages.php
@@ -7,6 +7,11 @@
 include_once('pkgfuncs.inc.php'); # package specific functions
 check_sid();                      # see if they're still logged in
 
+# Allow querying package details directly by name
+if (isset($_GET['NAME']) && !isset($_GET['ID'])) {
+	$_GET['ID'] = pkgid_from_name($_GET['NAME']);
+}
+
 # Set the title to the current query if required
 if (isset($_GET['ID']) && ($pkgname = pkgname_from_id($_GET['ID']))) {
 	$title = $pkgname;