Jan Beulich 722a61dbb5 xenbaked: properly use time_t in dump_stats() ...

"int" is not a suitable type to convert time()'s return value to. Avoid
casts and other extra fiddling by using difftime(), on the assumption
that the overhead of using "double" doesn't matter here.

Coverity ID: 1509374
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Anthony PERARD <anthony.perard@citrix.com>

2022-08-22 12:10:00 +02:00

..

COPYING

Replace FSF street address with canonical URL

2015-07-29 11:14:07 +01:00

Makefile

tools: Use INSTALL_PYTHON_PROG

2020-05-19 11:40:53 +01:00

setmask.c

Replace FSF street address with canonical URL

2015-07-29 11:14:07 +01:00

xenbaked.c

xenbaked: properly use time_t in dump_stats()

2022-08-22 12:10:00 +02:00

xenbaked.h

Replace FSF street address with canonical URL

2015-07-29 11:14:07 +01:00

xenmon.py

tools/xenmon: make xenmon.py compatible with python 2 and 3

2019-04-01 13:22:31 +01:00