From 12ba25f1e803fc2306b0f8986776eb3c8593eb25 Mon Sep 17 00:00:00 2001
From: Peter Brant <peter.brant@gmail.com>
Date: Tue, 21 Mar 2017 23:26:31 +0100
Subject: [PATCH] Add date to log output

---
 src/display/api.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/display/api.js b/src/display/api.js
index f7680d539fb50..303807070ad84 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -271,7 +271,7 @@ PDFJS.getDocument = function getDocument(src,
     source = src;
   }
 
-  console.info("Loading PDF from " + src.url);
+  console.info('[' + new Date() + "] Loading PDF from " + src.url);
 
   var params = {};
   for (var key in source) {
@@ -790,7 +790,7 @@ var PDFPageProxy = (function PDFPageProxyClosure() {
 
         if (stats.enabled) {
           var consoleStats = stats.toString().trim().replace(/\n/g, ', ').replace(/\s+/g, ' ');
-          console.info('Page ' + this.pageNumber + ' complete: ' + consoleStats);
+          console.info('[' + new Date() + '] Page ' + this.pageNumber + ' complete: ' + consoleStats);
         }
       }