Made make_time_string() return std::string, not char*.

git-svn-id: https://crawl-ref.svn.sourceforge.net/svnroot/crawl-ref/trunk@1474 c06c8d41-db1a-0410-9941-cceddc491573

1 files changed, 2 insertions, 8 deletions

diff --git a/crawl-ref/source/output.cc b/crawl-ref/source/output.cc
index f1948b024a..f113605a5b 100644
--- a/crawl-ref/source/output.cc
+++ b/crawl-ref/source/output.cc
@@ -806,13 +806,10 @@ std::vector<formatted_string> get_full_detail(bool calc_unid)
     if (you.real_time != -1)
     {
         const time_t curr = you.real_time + (time(NULL) - you.start_time);
-        char buff[200];
-        make_time_string( curr, buff, sizeof(buff), true );
-
         snprintf(buf, sizeof buf,
                  "Play time  : %10s\n"
                  "Turns      : %10ld\n",
-                 buff, you.num_turns );
+                 make_time_string(curr).c_str(), you.num_turns );
         cols.add_formatted(0, buf, true);
     }
 
@@ -1010,12 +1007,9 @@ void print_overview_screen()
     if (you.real_time != -1)
     {
         const time_t curr = you.real_time + (time(NULL) - you.start_time);
-        char buff[200];
-        make_time_string( curr, buff, sizeof(buff), true );
-
         snprintf(time_turns, sizeof time_turns,
                  " Turns: %ld, Time: %s",
-                 you.num_turns, buff );
+                 you.num_turns, make_time_string(curr, true).c_str() );
     }
 
     int linelength = strlen(you.your_name) + strlen(title)