public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Fix installing grpc on Debian Jessie (#609)

pull/610/head 1.5.31
Michele Locati 2022-07-12 13:37:31 +02:00 committed by GitHub
parent 96fedafb8d
commit cf1b46d0c3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
install-php-extensions
View File

@ -2634,6 +2634,13 @@ installRemoteModule() {
;; ;;
esac esac
fi fi
if test -z "$installRemoteModule_version"; then
case "$DISTRO_VERSION" in
debian@8)
installRemoteModule_version=1.46.3
;;
esac
fi
;; ;;
http) http)
if test -z "$installRemoteModule_version"; then if test -z "$installRemoteModule_version"; then