version 1.82, 2000/11/29 13:51:27 |
version 1.83, 2000/11/30 22:53:35 |
|
|
error("Agent forwarding is disabled to avoid trojan horses."); |
error("Agent forwarding is disabled to avoid trojan horses."); |
options.forward_agent = 0; |
options.forward_agent = 0; |
} |
} |
|
if (options.forward_x11) { |
|
error("X11 forwarding is disabled to avoid trojan horses."); |
|
options.forward_x11 = 0; |
|
} |
|
if (options.num_local_forwards > 0 || options.num_remote_forwards > 0) { |
|
error("Port forwarding is disabled to avoid trojan horses."); |
|
options.num_local_forwards = options.num_remote_forwards = 0; |
|
} |
/* |
/* |
* XXX Should permit the user to change to use the new id. |
* XXX Should permit the user to change to use the new id. |
* This could be done by converting the host key to an |
* This could be done by converting the host key to an |