make format_full_time work on 64 bit systems too: need to use time_t and no int

[libi2ncommon] / src / timefunc.hxx

diff --git a/src/timefunc.hxx b/src/timefunc.hxx
index 55eab30..8db994c 100644 (file)
--- a/src/timefunc.hxx
+++ b/src/timefunc.hxx
@@ -36,7 +36,7 @@ double prec_time(void);
 int date_to_seconds(const std::string &date);
 
 std::string make_nice_time(int seconds);
-std::string format_full_time(int seconds);
+std::string format_full_time(time_t seconds);
 void seconds_to_hour_minute(int seconds, int *hour, int *minute);
 void split_daysec(int daysec, int *outhours=NULL, int *outminutes=NULL, int *outseconds=NULL);
 std::string output_hour_minute(int hour, int minute, bool h_for_00=true, int seconds=0);