execCommands with more than one command throws BAD_USE

[alexvorobiev]

I am getting BAD_USE if I try to pass more than one command to execCommands. For instance, this works (in ghci):

> withSSH2 "/home/alex/.ssh/known_hosts" "/home/alex/.ssh/id_rsa.pub" "/home/alex/.ssh/id_rsa" "" "alex" "myserver" 22 $ flip execCommands ["whoami"]
(0,["alex\n"])

and this doesn't:

> withSSH2 "/home/alex/.ssh/known_hosts" "/home/alex/.ssh/id_rsa.pub" "/home/alex/.ssh/id_rsa" "" "alex" "myserver" 22 $ flip execCommands ["whoami", "whoami"]
*** Exception: BAD_USE

Am I doing anything wrong?

[portnov]

Interesting. Have no idea for now. Will try to investigate.