commit | bab0c9210371e1cfa321b8528217a7f2e156d7a1 | [log] [tgz] |
---|---|---|
author | Harald Jensås <hjensas@redhat.com> | Tue Apr 26 15:46:56 2022 +0200 |
committer | Harald Jensås <hjensas@redhat.com> | Tue Apr 26 15:51:35 2022 +0200 |
tree | b5d044754e61bbbc71c66a44c3a200f064482c53 | |
parent | 3b0c035b905debf9d2f520360a9b0e5e74720b23 [diff] |
Use tryint() for stats value In some cases the value is [not set], in this case the conversion to integer does not work. Closes-Bug: #1970431 Change-Id: I74df7d8bc9f5cbe0709a6471cf7639caea0b58e8
diff --git a/tools/get-stats.py b/tools/get-stats.py index dc0bd0f..05f088e 100755 --- a/tools/get-stats.py +++ b/tools/get-stats.py
@@ -31,7 +31,7 @@ if not line: continue stat, val = line.split('=') - stats[stat] = int(val) + stats[stat] = tryint(val) return stats