File size: 417 Bytes
db5855f
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/bash

set -eo pipefail

set -x

WEBDAV_PREFIX=${WEBDAV_PREFIX:-${JUPYTERHUB_SERVICE_PREFIX%/}}
export WEBDAV_PREFIX

WEBDAV_PORT=${WEBDAV_PORT:-8081}

ARGS=""

ARGS="$ARGS --log-to-terminal"
ARGS="$ARGS --access-log"
ARGS="$ARGS --port $WEBDAV_PORT"
ARGS="$ARGS --application-type static"
ARGS="$ARGS --include /opt/app-root/etc/httpd-webdav.conf"

exec mod_wsgi-express start-server $ARGS