From 46747066879d1fa003f7cc2241cd21820c07a0c7 Mon Sep 17 00:00:00 2001
From: Dominique Fournier <dominique@fournier38.fr>
Date: Sun, 8 Jul 2018 12:10:15 +0000
Subject: [PATCH] console : log the history with timestamp

git-svn-id: https://svn.fournier38.fr/svn/ProgSVN/trunk@4276 bf3deb0d-5f1a-0410-827f-c0cc1f45334c
---
 console.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/console.php b/console.php
index c331cf0..76a6a92 100644
--- a/console.php
+++ b/console.php
@@ -805,7 +805,7 @@ class console
     foreach ($historyArr as $line)
     {
       @list ($time, $command) = @explode (" ", $line, 2);
-      if ($time === null || $command === null)
+      if ($time === null || $command === null || ! ctype_digit ($time))
         continue;
       $this->history[$time] = $command;
     }