push

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) {