From 2f352f390de44dbeb48aa707f088a493063ab54c Mon Sep 17 00:00:00 2001
From: 8chan <admin@8chan.co>
Date: Sun, 9 Nov 2014 22:17:50 -0800
Subject: [PATCH] Don't die on bad board configs

---
 boards.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boards.php b/boards.php
index 4e5fc2b5..f22cb524 100644
--- a/boards.php
+++ b/boards.php
@@ -56,7 +56,7 @@ foreach ($boards as $i => &$board) {
 	if ($board_config && $board['uri'] !== 'int') {
 		$board_config = str_replace('$config', '$boardCONFIG', $board_config);
 		$board_config = str_replace('<?php', '', $board_config);
-		eval($board_config);
+		@eval($board_config);
 	}
 	$showboard = $board['indexed'];
 	$locale = isset($boardCONFIG['locale'])?$boardCONFIG['locale']:'en';