diff --git a/mm3-hk-export b/mm3-hk-export index 5177ecc..b4a4aed 100755 --- a/mm3-hk-export +++ b/mm3-hk-export @@ -73,7 +73,7 @@ EOF } result=$(mailman-web shell <= 0.1 or i == n: # ~10 fps, plus a final 100% frame + draw(i, spin); spin += 1; last = now finally: if GZIP: fh.close() # flush the gzip trailer into raw (does not close raw) raw.flush() + if tty: + sys.stderr.write("\r\033[K"); sys.stderr.flush() # clear the bar # Hash the on-disk bytes via the held fd, then hand root the digest so it can # verify the file wasn't swapped/truncated by another same-uid process before # it copies it. (A fully-compromised exporter is out of scope, since it controls