From 306b6717edabbde8d2faf63a5d130bc0d0b61cc1 Mon Sep 17 00:00:00 2001
From: lisida <506400117@qq.com>
Date: Thu, 14 Feb 2019 19:14:13 +0800
Subject: [PATCH] push

---
 src/views/tool.blade.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/views/tool.blade.php b/src/views/tool.blade.php
index 01e1b11..88e5eb5 100644
--- a/src/views/tool.blade.php
+++ b/src/views/tool.blade.php
@@ -144,7 +144,7 @@
 <script src="https://cdn.bootcss.com/ace/1.4.2/ace.js"></script>
 <script type="text/javascript">
     var editor = ace.edit("editor");
-    var error_empty = <?php echo !empty($error); ?>;
+    var error_empty = <?php echo isset($error) ? 0 : 1; ?>;
     editor.setTheme("ace/theme/monokai");
     editor.session.setMode("ace/mode/json");
     editor.on('change', function (e) {