deploy.sh

#!/bin/bash
# $1: port number to run the server
# $2: filename to log output

PORT="${1:-8080}"
LOG="${2:-out.log}"
LOGPATH="$(pwd)/$LOG"
BACKUPPATH="$(pwd)/$LOG".backup

# Get latest HEAD
git pull origin master
# Build project
stack build
# Kill previous process
pkill javawlp
# Backup previous log if it exists by appending it to a backup file.
if [ -f "$LOGPATH" ]
then
	cat "$LOGPATH" >> "$BACKUPPATH"
	rm "$LOGPATH"
fi
# Run server
nohup stack exec javawlp -- --runServer -p $PORT > $LOG &