read from stdin using read, not buffer.read() to be compatible with other IO streams

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
This commit is contained in:
Nico Schottelius 2012-11-07 10:49:11 +01:00
parent 1e4833781e
commit 45d5e4719a

View file

@ -32,6 +32,8 @@ class Emulator(object):
def __init__(self, argv, stdin=sys.stdin, env=os.environ): def __init__(self, argv, stdin=sys.stdin, env=os.environ):
self.argv = argv self.argv = argv
self.stdin = stdin self.stdin = stdin
self.env = env
self.object_id = False self.object_id = False
self.global_path = self.env['__global'] self.global_path = self.env['__global']
@ -147,9 +149,8 @@ class Emulator(object):
# Record / Append source # Record / Append source
self.cdist_object.source.append(self.object_source) self.cdist_object.source.append(self.object_source)
chunk_size = 8192
def _read_stdin(self): def _read_stdin(self):
return self.stdin.buffer.read(self.chunk_size) return self.stdin.read()
def save_stdin(self): def save_stdin(self):
"""If something is written to stdin, save it in the object as """If something is written to stdin, save it in the object as
$__object/stdin so it can be accessed in manifest and gencode-* $__object/stdin so it can be accessed in manifest and gencode-*