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

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

diff --git a/src/views/tool.blade.php b/src/views/tool.blade.php
index c84092b..92f1dd1 100644
--- a/src/views/tool.blade.php
+++ b/src/views/tool.blade.php
@@ -144,6 +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); ?>;
     editor.setTheme("ace/theme/monokai");
     editor.session.setMode("ace/mode/json");
     editor.on('change', function (e) {