2018-09-20 14:03:23 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2018-09-21 15:05:48 +02:00
|
|
|
sed -i "s|\(^\s\+proxyName=\).*|\1\"odk.${DOMAIN}\"|" /srv/opendatakit/conf/server.xml
|
|
|
|
|
sed -i "s|\(^\s\+proxyPort=\).*|\1\"${PORT}\"|" /srv/opendatakit/conf/server.xml
|
2018-09-20 14:03:23 +02:00
|
|
|
sed -i "s|\(^security\.server\.securePort=\).*|\1${PORT}|" /srv/opendatakit/conf/security.properties
|
