diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/inc/filter.inc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/inc/filter.inc b/etc/inc/filter.inc index 4342abc..3652d9c 100644 --- a/etc/inc/filter.inc +++ b/etc/inc/filter.inc @@ -155,12 +155,14 @@ function filter_configure() { if(stristr($file, ".sh") == true) { mwexec("/usr/local/pkg/pf/" . $file . " start"); } else { - //if(php_check_syntax($text, $error_message) == false) + if(php_check_syntax($text, $error_message) == false) if($g['booting'] == true) echo "\t{$file}... "; eval($text); if($g['booting'] == true) echo "done.\n"; + else + echo "Error deteceted in {$file}: {$error_message}\n"; } } } |
