From: jprocter <jprocter@compbio.dundee.ac.uk>
Date: Thu, 4 Oct 2012 15:11:08 +0000 (+0100)
Subject: JAL-1188 - set the user agent to Jalview Desktop/${VERSION}
X-Git-Tag: Jalview_2_9~271
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ba53bdc57a25723eb975110fe457a2b82a138400;p=jalview.git

JAL-1188 - set the user agent to Jalview Desktop/${VERSION}
---

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index bfa7b11..7920fa9 100755
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -157,7 +157,7 @@ public class Jalview
     {
       headless = true;
     }
-
+    System.setProperty("http.agent", "Jalview Desktop/"+Cache.getDefault("VERSION", "Unknown"));
     try
     {
       Cache.initLogger();