#!/bin/bash

file_log="$GEXT_JENA/gs-triplestore-server3.out"

echo ""
echo "Starting up gs-triplestore-server3 as a background process"
echo "Appending logged output to:"
echo "  $file_log"
echo ""

echo "***********"                            >> "$file_log"
echo "Starting gs-triplestore-server3 `date`"  >> "$file_log"
echo "***********"                            >> "$file_log"

nohup gs-triplestore-server3 >> "$file_log" 2>&1


echo ""
echo "To stop this background processes:"
echo ""

echo "  ps auxww | grep gs-triplestore-server3"
echo ""
echo "Then run kill on the appropriate Process ID"
echo ""