blob: 7b6d682fe617ce3856278e39a48efc14e804398b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
install_taskmanager_service() {
# $1: directory to install taskmanager to
cat > /etc/systemd/system/taskmanager.service <<-SOMEWHEREDOC
[Unit]
Description=Taskmanager is a bwLehrpool service daemon
[Service]
User=taskmanager
Group=taskmanager
WorkingDirectory=$1
ExecStart=$(which java) -Xmx80M -jar taskmanager.jar
Restart=always
RestartSec=5
SyslogIdentifier=taskmanager
StandardOutput=syslog
StandardError=syslog
[Install]
WantedBy=multi-user.target
SOMEWHEREDOC
}
install_taskmanager() {
# $1: directory to install taskmanager to
echo -n "# Installing taskmanager... "
mkdir -p "$1" 2>/dev/null
unpack_tar_gz "$BASEDIR/static_files/taskmanager.tar.gz" "-C $1"
install_taskmanager_service "$1"
chown -R root:root "$1"
echo "ok"
}
|
