#!/bin/bash

LIVELY=~/lively4
SERVER=~/lively4/lively4-server
PORT=9006
GITPULL=false
LOGFILE=$SERVER/server.log
AUTOCOMMIT=true
MYURL="https://lively-kernel.org/lively4S2/"
source $SERVER/bin/lively4server.sh