equal
deleted
inserted
replaced
1838 host = getInetAddress().getHostName(); |
1838 host = getInetAddress().getHostName(); |
1839 } |
1839 } |
1840 return host; |
1840 return host; |
1841 } |
1841 } |
1842 |
1842 |
|
1843 // ONLY used by HttpsClient to setup the URI specified hostname |
|
1844 synchronized public void setHost(String host) { |
|
1845 this.host = host; |
|
1846 } |
|
1847 |
1843 /** |
1848 /** |
1844 * Gets an input stream to read from the peer on the other side. |
1849 * Gets an input stream to read from the peer on the other side. |
1845 * Data read from this stream was always integrity protected in |
1850 * Data read from this stream was always integrity protected in |
1846 * transit, and will usually have been confidentiality protected. |
1851 * transit, and will usually have been confidentiality protected. |
1847 */ |
1852 */ |