[MKDoc-commit] [1.6] Set user-agent in RSS GET/HEAD.

[bruno at mkdoc.demon.co.uk]

Log Message:
-----------
[1.6] Set user-agent in RSS GET/HEAD.  Configure with $ENV{USER_AGENT}

Tags:
----
mkdoc-1-6

Modified Files:
--------------
    mkd/tools/cron:
        030..rss_troubleshooter.pl
        031..rss_routine.pl

-------------- next part --------------
Index: 030..rss_troubleshooter.pl
===================================================================
RCS file: /var/spool/cvs/mkd/tools/cron/030..rss_troubleshooter.pl,v
retrieving revision 1.1.2.7
retrieving revision 1.1.2.8
diff -Ltools/cron/030..rss_troubleshooter.pl -Ltools/cron/030..rss_troubleshooter.pl -u -r1.1.2.7 -r1.1.2.8
--- tools/cron/030..rss_troubleshooter.pl
+++ tools/cron/030..rss_troubleshooter.pl
@@ -26,6 +26,8 @@
 die $@ if (defined $@ and $@);
 
 $ua->max_size (MAX_SIZE);
+defined $ENV{USER_AGENT} ? $ua->agent($ENV{USER_AGENT}) : $ua->agent('Mozilla/4.0 (compatible; MKDoc 1.6 RSS fetcher)');
+
 for (site_list()) { process_directory ($_) }