diff --git a/public/console.php b/public/console.php index 73102cb36..e33daa583 100644 --- a/public/console.php +++ b/public/console.php @@ -444,7 +444,8 @@ function createTraceElement(trace, i) { q: form.elements.q.value, mode: form.elements.mode.value, level: form.elements.level.value, - date: form.elements.date.value + date: form.elements.date.value, + "empty-file": form.elements["empty-file"].checked } feed(params); }); @@ -567,12 +568,11 @@ function createTraceElement(trace, i) { if(file_exists('../log/'.$log_file)) { - if(isset($_GET['empty-file']) && $_GET['empty-file'] === 'on') { + if(isset($_GET['empty-file']) && $_GET['empty-file'] === 'true') { $f = fopen('../log/'.$log_file,"r+"); ftruncate($f, 0); fclose($f); - header("Location: console.php"); - die(); + die(json_encode($result)); } // get query from URL, if any