From 6d8cf2da42484cf01c72deec5664f1d4485e0cb3 Mon Sep 17 00:00:00 2001
From: Disassembler <disassembler@dasm.cz>
Date: Mon, 4 Dec 2017 22:21:03 +0100
Subject: [PATCH] Install Tomcat servlet 3.1 libraries

---
 01-basic.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/01-basic.sh b/01-basic.sh
index 18327a2..86848b1 100755
--- a/01-basic.sh
+++ b/01-basic.sh
@@ -149,7 +149,7 @@ apt-get -y --no-install-recommends install mariadb-server
 #####
 
 # Install packages
-apt-get -y --no-install-recommends install openjdk-8-jre-headless tomcat8
+apt-get -y --no-install-recommends install libservlet3.1-java openjdk-8-jre-headless tomcat8
 
 # Configure
 cp ${SOURCE_DIR}/etc/tomcat8/server.xml /etc/tomcat8/server.xml