diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-10-15 14:38:40 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-10-15 14:38:40 -0700 |
| commit | b21dffccc4d07cb1a63f45e9c87aa7b87cba7c8d (patch) | |
| tree | 98403f176ddf4629f14536114a5aa29479a7e727 /tools | |
| parent | 29de05c1511b3c825d9a45888a65f4cca48b142c (diff) | |
fix autodebugger
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/autodebugger.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/autodebugger.py b/tools/autodebugger.py index c74e56d2..df9594b3 100644 --- a/tools/autodebugger.py +++ b/tools/autodebugger.py @@ -282,7 +282,9 @@ for i in range(len(lines)): lines_added += 1 f = open(ofilename, 'w') -f.write('\n'.join(lines) + '\n' + POSTAMBLE + '\n') +ll = '\n'.join(lines) +meta_start = ll.find('\n!') +f.write(ll[:meta_start] + '\n' + POSTAMBLE + '\n' + ll[meta_start:]) f.close() print 'Success.' |