From 9a90d28f9ad0e64c45202522b26ff6c13f10f795 Mon Sep 17 00:00:00 2001 From: Guillaume Chazarain Date: Fri, 30 Nov 2007 19:17:25 +0100 Subject: [PATCH] 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 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gsh/remote_dispatcher.py b/gsh/remote_dispatcher.py index f38386f..2bd56fe 100644 --- a/gsh/remote_dispatcher.py +++ b/gsh/remote_dispatcher.py @@ -117,7 +117,8 @@ class remote_dispatcher(buffered_dispatcher): self.term1 = '[gsh termination ' + str(random.random())[2:] self.term2 = str(random.random())[2:] + ']' self.termination = self.term1 + self.term2 - self.dispatch_write('echo "%s""%s"\n' % (self.term1, self.term2)) + self.dispatch_write('/bin/echo "%s""%s"\n' % + (self.term1, self.term2)) if self.state is not STATE_NOT_STARTED: self.change_state(STATE_RUNNING) @@ -312,7 +313,7 @@ class remote_dispatcher(buffered_dispatcher): pending_rename1 = str(random.random())[2:] + ',' pending_rename2 = str(random.random())[2:] + ':' self.pending_rename = pending_rename1 + pending_rename2 - self.dispatch_write('echo "%s""%s" %s\n' % + self.dispatch_write('/bin/echo "%s""%s" %s\n' % (pending_rename1, pending_rename2, string)) self.change_state(STATE_RUNNING) else: -- 2.11.4.GIT