diff options
author | Michael Stahl <mstahl@redhat.com> | 2015-10-08 23:26:39 +0200 |
---|---|---|
committer | Michael Stahl <mstahl@redhat.com> | 2015-10-09 10:14:21 +0200 |
commit | 18b934af9979522c8cff1ff76504ce19c3e6916d (patch) | |
tree | ce58488d802a5f293a1568ee1896df45d3bf9594 /swext/mediawiki/src/com/sun/star/wiki/Helper.java | |
parent | 2ccef1c93d4c1a478fbdd8a49caf0735f68ba141 (diff) |
swext: increment the extension version number to 1.2.0
... and also set the User-Agent header so the servers know who's messing
with them.
Change-Id: I0173db05868c5fcd0f85435adf78884ca562596d
Diffstat (limited to 'swext/mediawiki/src/com/sun/star/wiki/Helper.java')
-rw-r--r-- | swext/mediawiki/src/com/sun/star/wiki/Helper.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/swext/mediawiki/src/com/sun/star/wiki/Helper.java b/swext/mediawiki/src/com/sun/star/wiki/Helper.java index b40b5f107d7d..8a15621384ed 100644 --- a/swext/mediawiki/src/com/sun/star/wiki/Helper.java +++ b/swext/mediawiki/src/com/sun/star/wiki/Helper.java @@ -643,6 +643,8 @@ public class Helper // ((HttpsURLConnection) conn).setSSLSocketFactory(new LoggingProtocolSocketFactory()); conn.setRequestMethod(method); + // TODO: is it possible to read the version from the extension metadata? + conn.setRequestProperty("User-Agent", "LibreOffice Wiki Publisher 1.2.0"); // note: don't connect yet so that the caller can do some further setup return conn; |