From ff65a27034193ba56547eade2048c517be8a3b50 Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Fri, 17 May 2013 22:19:47 +0200
Subject: [PATCH] Stop logging this. It didn't reveal anything other than that
 #boardNavMobile is missing too.

---
 src/General/Header.coffee | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/src/General/Header.coffee b/src/General/Header.coffee
index f374cbb67..d873adf0f 100644
--- a/src/General/Header.coffee
+++ b/src/General/Header.coffee
@@ -92,16 +92,7 @@ Header =
     # XXX Getting weird reports here of
     #   "Header" initialization crashed. TypeError: Cannot read property 'innerHTML' of null
     # Let's try to find the cause.
-    if nav is null
-      Main.logError
-        message: "Header crash: nav is null"
-        error: new Error """
-          #{!!$.id 'boardNavMobile'}
-          d.readyState     = #{d.readyState}
-          doc.className    = #{doc.className}
-          d.body.className = #{d.body.className}
-        """
-    else
+    if nav
       fullBoardList.innerHTML = nav.innerHTML
       $.rm $ '#navtopright', fullBoardList
       btn = $.el 'span',