diff src/input.cc @ 3255:4d33b1e56bff

[project @ 1999-07-15 20:54:14 by jwe]
author jwe
date Thu, 15 Jul 1999 20:54:34 +0000
parents 30770ba4457a
children 4964d5391acc
line wrap: on
line diff
--- a/src/input.cc
+++ b/src/input.cc
@@ -26,7 +26,6 @@
 #include <config.h>
 #endif
 
-#include <ctime>
 #include <cstdio>
 #include <cstdlib>
 #include <cstring>
@@ -88,7 +87,7 @@
 int Vecho_executing_commands;
 
 // The time we last printed a prompt.
-time_t Vlast_prompt_time;
+octave_time Vlast_prompt_time;
 
 // Character to append after successful command-line completion attempts.
 static char Vcompletion_append_char;
@@ -198,7 +197,7 @@
 {
   string retval;
 
-  Vlast_prompt_time = time (0);
+  Vlast_prompt_time.stamp ();
 
   if ((interactive || forced_interactive)
       && (! (reading_fcn_file || reading_script_file)))