connectbot/connectbot — pull request #25 by giuliolunati (2013-10-09 15:31:12+00:00)
Title: Fixnetwork

Two commits for fixing Issue 417 (http://code.google.com/p/connectbot/issues/detail?id=417) and another similar.