From ba53bdc57a25723eb975110fe457a2b82a138400 Mon Sep 17 00:00:00 2001
From: jprocter <jprocter@compbio.dundee.ac.uk>
Date: Thu, 4 Oct 2012 16:11:08 +0100
Subject: [PATCH] JAL-1188 - set the user agent to Jalview Desktop/${VERSION}

---
 src/jalview/bin/Jalview.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
-- 
1.7.10.2