console : log the history with timestamp

git-svn-id: https://svn.fournier38.fr/svn/ProgSVN/trunk@4276 bf3deb0d-5f1a-0410-827f-c0cc1f45334c

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