Make readfile read the file in one fell swoop.
diff --git a/Lib/commands.py b/Lib/commands.py
index 145f5db..c96953c 100644
--- a/Lib/commands.py
+++ b/Lib/commands.py
@@ -4,6 +4,7 @@
import rand
import posix
+import stat
import path
@@ -40,14 +41,7 @@
# Return a string containing a file's contents.
#
def readfile(fn):
- fp = open(fn, 'r')
- a = ''
- n = 8096
- while 1:
- b = fp.read(n)
- if not b: break
- a = a + b
- return a
+ return open(fn, 'r').read(posix.stat(fn)[stat.ST_SIZE])
# Make command argument from directory and pathname (prefix space, add quotes).