diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/post | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/post b/scripts/post index 1b682283b..3185c0578 100755 --- a/scripts/post +++ b/scripts/post @@ -84,4 +84,5 @@ def main(): if __name__ == '__main__': sys.stderr.write('starting\n') main() + sys.stderr.reprime() sys.stderr.write('ending\n') |
