##// END OF EJS Templates
Workaround for "Not enough space" error due to the bug of Windows....
Shun-ichi GOTO -
r5647:165cda75 default
parent child Browse files
Show More
@@ -919,7 +919,15 b" if os.name == 'nt':"
919
919
920 def write(self, s):
920 def write(self, s):
921 try:
921 try:
922 return self.fp.write(s)
922 # This is workaround for "Not enough space" error on
923 # writing large size of data to console.
924 limit = 16000
925 l = len(s)
926 start = 0
927 while start < l:
928 end = start + limit
929 self.fp.write(s[start:end])
930 start = end
923 except IOError, inst:
931 except IOError, inst:
924 if inst.errno != 0: raise
932 if inst.errno != 0: raise
925 self.close()
933 self.close()
General Comments 0
You need to be logged in to leave comments. Login now