clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-22 02:17:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

- Fix indentation and remove comment.

Browse Source
This commit is contained in:
Andi Gutmans 2001-02-22 11:30:53 +00:00
parent 8bf6bdc2b9
commit 9a28132876
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
main/main.c
View File

@ -1263,8 +1263,10 @@ PHPAPI int php_lint_script(zend_file_handle *file CLS_DC ELS_DC PLS_DC)
op_array = zend_compile_file(file, ZEND_INCLUDE CLS_CC);
retval = (op_array?SUCCESS:FAILURE);
/* SMC op_array may be NULL */
if (op_array != NULL) destroy_op_array(op_array);
if (op_array != NULL) {
destroy_op_array(op_array);
}
return retval;
}