GaloisInc/HaNS — pull request #1 by wladh (2013-01-28 23:56:52+00:00)
Title: Fixed a few bugs

* IP payload size computation
* readLine should read multiple times from socket until eond of line
* TCP options encoding option tag
* socket created on connect had no continuation
* TCP ports should start at 1