diff options
| -rw-r--r-- | astro/xplanet/files/patch-xplanetbg.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/astro/xplanet/files/patch-xplanetbg.cc b/astro/xplanet/files/patch-xplanetbg.cc new file mode 100644 index 000000000000..e0f022967c28 --- /dev/null +++ b/astro/xplanet/files/patch-xplanetbg.cc @@ -0,0 +1,11 @@ +--- xplanetbg.cc.orig Fri Mar 22 04:17:05 2002 ++++ xplanetbg.cc Sun Nov 17 18:26:59 2002 +@@ -907,7 +907,7 @@ + + if (debug) + { +- cout << "Finished at " << ctime(¤t_time.tv_sec); ++ cout << "Finished at " << ctime((time_t *)¤t_time.tv_sec); + cout << "Sleeping for " << sleep_time << " seconds until " + << ctime((time_t *) &next_update) << endl; + } |