diff options
| author | Andreas Eversberg <jolly@eversberg.eu> | 2020-01-12 11:11:36 +0100 |
|---|---|---|
| committer | Andreas Eversberg <jolly@eversberg.eu> | 2020-01-12 11:17:58 +0100 |
| commit | 1e899a522dbfdb9e1d13515d72183a0319138a72 (patch) | |
| tree | b67eb135cecb961b17015a2bd58a15b8e728049d /src/libdisplay | |
| parent | ddce8678215ff402754f17ee3aa8f090e56be255 (diff) | |
Don't core dump, if measurements are not defined
Diffstat (limited to 'src/libdisplay')
| -rw-r--r-- | src/libdisplay/display_measurements.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/libdisplay/display_measurements.c b/src/libdisplay/display_measurements.c index ff388d3..d22e4ff 100644 --- a/src/libdisplay/display_measurements.c +++ b/src/libdisplay/display_measurements.c @@ -340,10 +340,8 @@ void display_measurements(double elapsed) if (!measurements_on) return; - if (!has_init) { - fprintf(stderr, "Not initialized prior display measurement values, please fix!\n"); - abort(); - } + if (!has_init) + return; /* count and check if we need to display this time */ time_elapsed += elapsed; |