git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
JAL-1188 - set the user agent to Jalview Desktop/${VERSION}
[jalview.git]
/
src
/
jalview
/
bin
/
Jalview.java
diff --git
a/src/jalview/bin/Jalview.java
b/src/jalview/bin/Jalview.java
index
362b15e
..
7920fa9
100755
(executable)
--- 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();
@@
-216,6
+216,7
@@
public class Jalview
}
}
}
+ desktop.checkForNews();
}
String file = null, protocol = null, format = null, data = null;