diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-12-23 15:43:01 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-23 15:43:01 -0800 |
| commit | b86abc2ecfea9ccbb93cad2fe4e9f8574beb7ed8 (patch) | |
| tree | e966f2fd2bc38d15c18fa880098ba5c8b91f07eb /tools/shared.py | |
| parent | 9b3e1b8d8e948709a9df1a23ea8790c93eb5b82e (diff) | |
fix bug where close-together tempDoublePtr operations could cross each other
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 443ff4c7..2177a527 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -682,7 +682,7 @@ def line_splitter(data): return out -def limit_size(string, MAX=12000*20): +def limit_size(string, MAX=80*20): if len(string) < MAX: return string return string[0:MAX/2] + '\n[..]\n' + string[-MAX/2:] |