blob: 4b2b3c60a77682f68dfa3e83b42dd38be26351f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
<!-- --- BEGIN COPYRIGHT BLOCK ---
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; version 2 of the License.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
Copyright (C) 2010 Red Hat, Inc.
All rights reserved.
--- END COPYRIGHT BLOCK --- -->
<%
// establish acceptable schemes
final String HTTP_SCHEME = "http";
final String HTTPS_SCHEME = "https";
// establish known ports
final int EE_HTTP_PORT = [PKI_UNSECURE_PORT];
final int AGENT_HTTPS_PORT = [PKI_AGENT_SECURE_PORT];
final int EE_HTTPS_PORT = [PKI_EE_SECURE_PORT];
final int ADMIN_HTTPS_PORT = [PKI_ADMIN_SECURE_PORT];
// establish known paths
final String ADMIN_PATH = "/[PKI_SUBSYSTEM_TYPE]/services";
final String AGENT_PATH = "/[PKI_SUBSYSTEM_TYPE]/agent/[PKI_SUBSYSTEM_TYPE]";
final String ERROR_PATH = "/[PKI_SUBSYSTEM_TYPE]/404.html";
// retrieve scheme from request
String scheme = request.getScheme();
// retrieve client hostname on which the request was sent
String client_hostname = request.getServerName();
// retrieve client port number on which the request was sent
int client_port = request.getServerPort();
// retrieve server hostname on which the request was received
String server_hostname = request.getLocalName();
// retrieve server port number on which the request was received
int server_port = request.getLocalPort();
// uncomment the following lines to write to 'catalina.out'
//System.out.println( "scheme = '" + scheme + "'" );
//System.out.println( "client hostname = '" + client_hostname + "'" );
//System.out.println( "client port = '" + client_port + "'" );
//System.out.println( "server hostname = '" + server_hostname + "'" );
//System.out.println( "server port = '" + server_port + "'" );
// compose the appropriate URL
String URL = "";
if( scheme.equals( HTTP_SCHEME ) ) {
if( server_port == EE_HTTP_PORT ) {
// always redirect to secure admin 'services' port
scheme = HTTPS_SCHEME;
client_port = ADMIN_HTTPS_PORT;
URL = scheme + "://" + client_hostname + ":" + client_port + ADMIN_PATH;
} else {
// unknown HTTP server port: should never get here
URL = scheme + "://" + client_hostname + ":" + client_port + ERROR_PATH;
// uncomment the following line to write to 'catalina.out'
//System.out.println( "Unknown HTTP server port: '" + server_port + "'" );
}
} else if( scheme.equals( HTTPS_SCHEME ) ) {
if( server_port == AGENT_HTTPS_PORT ) {
URL = scheme + "://" + client_hostname + ":" + client_port + AGENT_PATH;
} else if( server_port == EE_HTTPS_PORT ) {
// always redirect to secure admin 'services' port
client_port = ADMIN_HTTPS_PORT;
URL = scheme + "://" + client_hostname + ":" + client_port + ADMIN_PATH;
} else if( server_port == ADMIN_HTTPS_PORT ) {
URL = scheme + "://" + client_hostname + ":" + client_port + ADMIN_PATH;
} else {
// unknown HTTPS server port: should never get here
URL = scheme + "://" + client_hostname + ":" + client_port + ERROR_PATH;
// uncomment the following line to write to 'catalina.out'
//System.out.println( "Unknown HTTPS server port: '" + server_port + "'" );
}
} else {
// unacceptable scheme: should never get here
URL = scheme + "://" + client_hostname + ":" + client_port + ERROR_PATH;
// uncomment the following line to write to 'catalina.out'
//System.out.println( "Unacceptable scheme: '" + scheme + "'" );
}
// respond (back to browser) with the appropriate redirected URL
response.sendRedirect( URL );
%>
|
