diff options
author | Hans Nilsson <[email protected]> | 2016-04-29 10:29:21 +0200 |
---|---|---|
committer | Hans Nilsson <[email protected]> | 2016-04-29 10:29:21 +0200 |
commit | 5fa07312d27a7ff6826bf943e3b9d6575be3acf1 (patch) | |
tree | a83eefa2300d3dca70062b4dfba860f73f610811 | |
parent | b7f81aa55ffa161be01929b8d156e40bf751de17 (diff) | |
download | otp-5fa07312d27a7ff6826bf943e3b9d6575be3acf1.tar.gz otp-5fa07312d27a7ff6826bf943e3b9d6575be3acf1.tar.bz2 otp-5fa07312d27a7ff6826bf943e3b9d6575be3acf1.zip |
ssh: remove dialyzer 'no-local-return' warnings
-rw-r--r-- | lib/ssh/src/ssh_no_io.erl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/ssh/src/ssh_no_io.erl b/lib/ssh/src/ssh_no_io.erl index 2358560a26..1da257ed99 100644 --- a/lib/ssh/src/ssh_no_io.erl +++ b/lib/ssh/src/ssh_no_io.erl @@ -27,24 +27,36 @@ -export([yes_no/2, read_password/2, read_line/2, format/2]). + +-spec yes_no(any(), any()) -> no_return(). + yes_no(_, _) -> ssh_connection_handler:disconnect( #ssh_msg_disconnect{code = ?SSH_DISCONNECT_SERVICE_NOT_AVAILABLE, description = "User interaction is not allowed"}, {no_io_allowed, yes_no}). + +-spec read_password(any(), any()) -> no_return(). + read_password(_, _) -> ssh_connection_handler:disconnect( #ssh_msg_disconnect{code = ?SSH_DISCONNECT_SERVICE_NOT_AVAILABLE, description = "User interaction is not allowed"}, {no_io_allowed, read_password}). + +-spec read_line(any(), any()) -> no_return(). + read_line(_, _) -> ssh_connection_handler:disconnect( #ssh_msg_disconnect{code = ?SSH_DISCONNECT_SERVICE_NOT_AVAILABLE, description = "User interaction is not allowed"}, {no_io_allowed, read_line}). + +-spec format(any(), any()) -> no_return(). + format(_, _) -> ssh_connection_handler:disconnect( #ssh_msg_disconnect{code = ?SSH_DISCONNECT_SERVICE_NOT_AVAILABLE, |