changing to different mirror 51/1851/1
authorPamela Dragosh <pdragosh@research.att.com>
Thu, 9 Mar 2017 02:14:47 +0000 (21:14 -0500)
committerPamela Dragosh <pdragosh@research.att.com>
Thu, 9 Mar 2017 02:14:54 +0000 (21:14 -0500)
Change-Id: I035c6327168c8da65b963284c57fbe4924a45279
Signed-off-by: Pamela Dragosh <pdragosh@research.att.com>
policy-db/Dockerfile

index 290d7a0..5bdfd70 100644 (file)
@@ -4,7 +4,7 @@ RUN \
        apt-get clean && \
        apt-get install -y apt-transport-https && \
        apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80 0xcbcb082a1bb943db && \
-       add-apt-repository 'deb [arch=amd64,i386,ppc64el] https://mirrors.evowise.com/mariadb/repo/10.1/ubuntu trusty main' && \
+       add-apt-repository 'deb [arch=amd64,i386,ppc64el] http://ftp.osuosl.org/pub/mariadb/repo/10.0/ubuntu trusty main' && \
        apt-get clean && \
        apt-get update && \
        apt-get install -y mariadb-server && \