Portal Web-Proxy Port - HP A5500 EI Command Reference Manual

server and make sure that the user heartbeat interval configured on the portal server is shorter than or
equal to the synchronization probe interval configured on the device.
Deleting a portal server on the device will delete the portal user synchronization configuration with the
portal server.
If you configure the user synchronization function for a portal server for multiple times, the last
configuration will take effect. If you do not specify an optional parameter, the default setting of the
parameter will be used.
For redundant user information on the device—information for users considered as nonexistent on the
portal server, the device will delete the information during the (N+1)th probe interval, where N equals to
the value of retries configured in the portal server user-sync command.
Examples
# Configure the device to synchronize portal user information with portal server pts, and:
 Set the synchronization probe interval to 600 seconds
Specify the device to log off users if information for the users does not exist in the user

synchronization packets sent from the server in two consecutive probe intervals.
<Sysname> system-view
[Sysname] portal server pts user-sync interval 600 retry 2

portal web-proxy port

Syntax
portal web-proxy port port-number
undo portal web-proxy port { all | port-number }
View
System view
Default level
2: System level
Parameters
port-number: Specifies the port number used by a web proxy server, in the range 1 to 65535.
all: Specifies all web proxy server port numbers.
Description
Use the portal web-proxy port command to add a web proxy server port number so that HTTP requests
destined for this port number trigger portal authentication.
Use the undo portal web-proxy port command to delete one or all web proxy server port numbers.
By default, no web proxy server port number is configured, and the device redirects only HTTP requests
destined for port 80.
Up to four web proxy server port numbers can be added.
If the port number of a web proxy server is 80, you do not need to configure the port number of the
server on the device.
160