From: Tomasz Prus <to.prus@gmail.com>
Date: Wed, 13 Apr 2011 12:20:14 GMT
Subject: bad file number
Message-ID: <BANLkTikAATE4B3sK2MecA4ahWefNAZcSDQ@mail.gmail.com>

Hi,

sometimes when I try to execute push I get such error and everything
back to normal after a while:

ssh: connect to host <domain here> port 1234: Bad file number
fatal: The remote end hung up unexpectedly

Can You help me? What can cause this, can it be a slow network upload?

Best,
Tomasz Prus