Use /bin/echo instead of builtin echo as the latter does not handle EINTR.
commit9a90d28f9ad0e64c45202522b26ff6c13f10f795
authorGuillaume Chazarain <guichaz@yahoo.fr>
Fri, 30 Nov 2007 18:17:25 +0000 (30 19:17 +0100)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Fri, 30 Nov 2007 18:17:25 +0000 (30 19:17 +0100)
tree0efad2dadb651013348c54288eda89ceaa76dbe1
parent0e24e55e42266d412c275bf2613b8ec19bb01d4c
Use /bin/echo instead of builtin echo as the latter does not handle EINTR.
Don't know why we are interrupted though.
gsh/remote_dispatcher.py