Fix eden stats duration mismatch issue

Summary: Not checking whether journal duration was None caused old Edens to have an error when running "eden stats", this should fix it such that it does not print out duration info if Eden does not have it.

Reviewed By: strager

Differential Revision: D16502597

fbshipit-source-id: 1e28732208a3ad660b021b9e19c2694302a569f4
This commit is contained in:
Jake Crouch 2019-07-25 22:39:03 -07:00 committed by Facebook Github Bot
parent 564f7a2a30
commit a290a6c525

View File

@ -94,11 +94,17 @@ def do_stats_general(
entries = journal.entryCount
mem = journal.memoryUsage
duration = journal.durationSeconds
journalLine = (
f"- Journal: {entries} entries over "
f"{stats_print.format_time(duration)} "
f"({stats_print.format_size(mem)})\n"
)
if duration is None:
journalLine = (
f"- Journal: {entries} entries "
f"({stats_print.format_size(mem)})\n"
)
else:
journalLine = (
f"- Journal: {entries} entries over "
f"{stats_print.format_time(duration)} "
f"({stats_print.format_size(mem)})\n"
)
out.write(
textwrap.dedent(
f"""\