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

diff --git a/src/timefunc.cpp b/src/timefunc.cpp
index ab5f6dc..1288301 100644 (file)
--- a/src/timefunc.cpp
+++ b/src/timefunc.cpp
@@ -129,7 +129,7 @@ string make_nice_time(int seconds)
     return out.str();
 }
 
-string format_full_time(int seconds)
+string format_full_time(time_t seconds)
 {
     char buf[50];
     memset (buf, 0, 50);

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);