From: Thomas Renninger <trenn@suse.com>
Subject: Fix time format for sel list -v
References: bsc#1213390
Patch-Mainline: 
Git-commit: d34a56908da3d85c4ddce1be1aab90941177b13b
Git-repo: git@github.com:watologo1/ipmitool.git.git

The time for sel entries gets wrongly formatted:

SEL Record ID          : 3135
 Record Type           : 02
 Timestamp             : 18.07.2023 18.07.2023
 Generator ID          : 0044

This patch fixes this:

SEL Record ID          : 3135
 Record Type           : 02
 Timestamp             : 18.07.2023 11:26:24 CEST
 Generator ID          : 0044

The first hunk for:
`sel list -v`
The snd hunk for:
`sel get ID`


Signed-off-by:  <trenn@suse.com>
diff --git a/lib/ipmi_sel.c b/lib/ipmi_sel.c
index 31c0eea..7d6d01f 100644
--- a/lib/ipmi_sel.c
+++ b/lib/ipmi_sel.c
@@ -2043,11 +2043,9 @@ ipmi_sel_print_std_entry_verbose(struct ipmi_intf * intf, struct sel_event_recor
 	{
 		printf(" Timestamp             : ");
 		if (evt->record_type < 0xc0)
-			printf("%s %s", ipmi_timestamp_date(evt->sel_type.standard_type.timestamp),
-				ipmi_timestamp_time(evt->sel_type.standard_type.timestamp));
+			printf("%s", ipmi_timestamp_numeric(evt->sel_type.standard_type.timestamp));
 		else
-			printf("%s %s", ipmi_timestamp_date(evt->sel_type.oem_ts_type.timestamp),
-				ipmi_timestamp_time(evt->sel_type.oem_ts_type.timestamp));
+			printf("%s", ipmi_timestamp_numeric(evt->sel_type.oem_ts_type.timestamp));
 		printf("\n");
 	}
 
@@ -2133,8 +2131,7 @@ ipmi_sel_print_extended_entry_verbose(struct ipmi_intf * intf, struct sel_event_
 	if (evt->record_type < 0xe0)
 	{
 		printf(" Timestamp             : ");
-		printf("%s %s\n", ipmi_timestamp_date(evt->sel_type.standard_type.timestamp),
-		ipmi_timestamp_time(evt->sel_type.standard_type.timestamp));
+		printf("%s\n", ipmi_timestamp_numeric(evt->sel_type.standard_type.timestamp));
 	}