From 60afd8feb3cfabbf84c7e4d4982a38c9c32574e0 Mon Sep 17 00:00:00 2001
From: Mahdi Hazaveh <mahdi@hazaveh.net>
Date: Fri, 12 Jul 2019 09:57:17 +0800
Subject: [PATCH] run apt-get update before attempting to install php-redis on
 workspace container

Fixes E: Failed to fetch http://ppa.launchpad.net/ondrej/php/ubuntu/pool/main/p/php-redis/php-redis_4.2.0-1+ubuntu16.04.1+deb.sury.org+1_amd64.deb  404  Not Found
---
 workspace/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 3a07eee..6cb8bde 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -414,6 +414,7 @@ RUN if [ ${INSTALL_AMQP} = true ]; then \
 ARG INSTALL_PHPREDIS=false
 
 RUN if [ ${INSTALL_PHPREDIS} = true ]; then \
+    apt-get update -yqq && \
     apt-get install -yqq php-redis \
 ;fi