Merge pull request #2930 from dwijnand/fix-client

Fix logic in client
This commit is contained in:
eugene yokota 2017-01-17 08:03:07 -05:00 committed by GitHub
commit cf12860847
1 changed files with 3 additions and 3 deletions

View File

@ -210,9 +210,9 @@ object BasicCommands {
val p = (token(Space) ~> repsep(StringBasic, token(Space))) | (token(EOF) map { case _ => Nil })
applyEffect(p)({ inputArg =>
val arguments = inputArg.toList ++
(s0.remainingCommands.toList match {
case e :: Nil if e.commandLine == "shell" :: Nil => Nil
case xs => xs map { _.commandLine }
(s0.remainingCommands match {
case e :: Nil if e.commandLine == "shell" => Nil
case xs => xs map { _.commandLine }
})
NetworkClient.run(arguments)
"exit" :: s0.copy(remainingCommands = Nil)