# HG changeset patch
# User Nathan Phillip Brink <ohnobinki@ohnopublishing.net>
# Date 2012-02-16 10:08:56
# Node ID c9c12e4e603a19424c4700ee1650adefceac6fb7
# Parent  446c8b9555f4be36f492db1f0ab2b357923284ad

Set the User-Agent header in our crawler.

diff --git a/inc/school.crawl.inc b/inc/school.crawl.inc
--- a/inc/school.crawl.inc
+++ b/inc/school.crawl.inc
@@ -303,6 +303,7 @@ function school_crawl_geturi(&$uri, &$co
   school_crawl_logf($school_crawl_log, 7, "school_crawl_geturi('%s').", $uri);
 
   $curl = curl_init();
+  curl_setopt($curl, CURLOPT_USERAGENT, SP_PACKAGE_NAME . '/' . SP_PACKAGE_VERSION);
 
   if ($curlsetup_hook !== NULL)
     $curlsetup_hook($curl);