fix android build
This commit is contained in:
parent
f7ebb61d80
commit
69bd8d0462
1 changed files with 1 additions and 1 deletions
|
@ -68,9 +68,9 @@ sshInputAForm hostnamefield def = SshInput
|
||||||
check_username = checkBool (all (`notElem` "/:@ \t") . T.unpack)
|
check_username = checkBool (all (`notElem` "/:@ \t") . T.unpack)
|
||||||
bad_username textField
|
bad_username textField
|
||||||
|
|
||||||
|
bad_username = "bad user name" :: Text
|
||||||
#ifndef __ANDROID__
|
#ifndef __ANDROID__
|
||||||
bad_hostname = "cannot resolve host name" :: Text
|
bad_hostname = "cannot resolve host name" :: Text
|
||||||
bad_username = "bad user name" :: Text
|
|
||||||
|
|
||||||
check_hostname = checkM (liftIO . checkdns) hostnamefield
|
check_hostname = checkM (liftIO . checkdns) hostnamefield
|
||||||
checkdns t = do
|
checkdns t = do
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue