File tree 1 file changed +6
-1
lines changed
1 file changed +6
-1
lines changed Original file line number Diff line number Diff line change 512
512
EOF
513
513
fi
514
514
515
- export -n providedextensionslog_file_path # export no longer needed
515
+ export -n providedextensionslog_file_path # export no longer needed (and we don't want more entries written by the plugin even if it encounters them)
516
516
if [[ -s " $providedextensionslog_file_path " ]]; then
517
517
notice_inline " detected userland polyfill packages for PHP extensions"
518
518
notice_inline " now attempting to install native extension packages"
@@ -538,6 +538,11 @@ if [[ -s "$providedextensionslog_file_path" ]]; then
538
538
exec {fd_num}>& -
539
539
fi
540
540
541
+ # clean up installer variables and files
542
+ unset export_file_path
543
+ unset profile_dir_path
544
+ rm -f " $providedextensionslog_file_path "
545
+ unset providedextensionslog_file_path
541
546
unset PHP_PLATFORM_INSTALLER_DISPLAY_OUTPUT_FDNO PHP_PLATFORM_INSTALLER_DISPLAY_OUTPUT_INDENT
542
547
543
548
# log number of installed platform packages
You can’t perform that action at this time.
0 commit comments