version 1.357, 2022/06/03 03:21:09 |
version 1.358, 2022/08/26 08:16:27 |
|
|
if (options.exit_on_forward_failure && cancelled_forwarding) |
if (options.exit_on_forward_failure && cancelled_forwarding) |
fatal("Error: forwarding disabled due to host key " |
fatal("Error: forwarding disabled due to host key " |
"check failure"); |
"check failure"); |
|
|
/* |
/* |
* 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 |