From 66f4d5f542b0fd033b9b9ea53f190663fc7d73bb Mon Sep 17 00:00:00 2001
From: Simeon Ackermann <s.ackermann@mail.de>
Date: Thu, 2 Jun 2016 06:42:54 +0200
Subject: [PATCH 1/2] Dont set PHP Version 5.6.7+dfsg-1, it cannot found in
Debians repository anymore. The current Version (5.6.20) may also work.
---
Dockerfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Dockerfile b/Dockerfile
index 7335ed4..2d251a7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -13,8 +13,8 @@ RUN apt-get update
RUN apt-get install -y \
git make curl \
nginx-light \
- php5=5.6.7+dfsg-1 php5-fpm=5.6.7+dfsg-1 php5-common=5.6.7+dfsg-1 php5-cli=5.6.7+dfsg-1 \
- php5-odbc=5.6.7+dfsg-1 php5-curl=5.6.7+dfsg-1 \
+ php5 php5-fpm php5-common php5-cli \
+ php5-odbc php5-curl \
unixodbc
# Add virtuoso odbc dependency for OntoWiki to me able to connecto to virtuoso
From 86a54fdf1f32c9453b679806f3d4f869f955bcad Mon Sep 17 00:00:00 2001
From: Simeon Ackermann <s.ackermann@mail.de>
Date: Thu, 2 Jun 2016 09:41:23 +0200
Subject: [PATCH 2/2] Use Ubuntu 14.04 as image solves a bug with nginx +
php5-fpm in debian
Get 502 Bad Gateway from Nginx with following error message in log:
2016/06/02 04:52:45 [error] 44#0: *3 recv() failed (104: Connection reset by peer) while reading response header from upstream, client: 172.17.0.1, server: , request: "GET / HTTP/1.1", upstream: "fastcgi://unix:/var/run/php5-fpm.sock:", host: "localhost"
php5-fpm error log:
[02-Jun-2016 04:52:44] WARNING: [pool www] child 75 exited on signal 6 (SIGABRT - core dumped) after 2.691227 seconds from start
---
Dockerfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Dockerfile b/Dockerfile
index 2d251a7..f5c36e4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-FROM debian:jessie
+FROM ubuntu:14.04
MAINTAINER Natanael Arndt <arndt@informatik.uni-leipzig.de>