]> gitweb.michael.orlitzky.com - dead/htsn.git/commit
Use the round-robin approach to choosing a hostname.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 23 Nov 2013 22:29:16 +0000 (17:29 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 23 Nov 2013 22:29:16 +0000 (17:29 -0500)
commit64be4aa68a3ec03f318ff93af3ce9566795a993a
tree21e0149ba50472d1acd55b3cbd83a87edec9fc7a
parent5f936c8d5d0806b388070cf9f231b1ff622b7541
Use the round-robin approach to choosing a hostname.
Time out the login after 5s if it has not completed.
Add some comments.
src/CommandLine.hs
src/Main.hs