Name: processfetch/server 
1:
if [ $1 = "start" ]; then
2:
  x=`pgrep -f processfetch`
3:
  if [ "$x" = "" ]; then
4:
    java -cp "`pwd`/*:." Server >/dev/null 2>/dev/null &
5:
    sleep 2
6:
    x=`pgrep -f processfetch`
7:
    echo "Server (http://localhost:9299) running as $x"
8:
  else
9:
    echo "Server (http://localhost:9299) already started"
10:
  fi
11:
elif [[ $1 = "-v" && $2 = "start" ]]; then
12:
  java -cp "`pwd`/*:." Server
13:
elif [ $1 = "stop" ]; then
14:
  pkill -f processfetch
15:
elif [ $1 = "info" ]; then
16:
  x=`pgrep -f processfetch`
17:
  if [ "$x" = "" ]; then
18:
    echo "Server not running."
19:
  else
20:
    echo "Server (http://localhost:9299) running as $x"
21:
    vir=`ps --no-headers -o "vsz" -p $x`
22:
    res=`ps --no-headers -o "rss" -p $x`
23:
    vir=`echo $vir/1024 | bc -l | awk '{printf "%0.2f\n", $0}'`
24:
    res=`echo $res/1024 | bc -l | awk '{printf "%0.2f\n", $0}'`
25:
    echo "Virtual: $vir MiB"
26:
    echo  "Resident: $res MiB"
27:
    echo -n "Started: "
28:
    ps --no-headers -o "lstart" -p `pgrep -f processfetch`
29:
    echo -n "CPU Time: "
30:
    ps --no-headers -o "time" -p `pgrep -f processfetch`
31:
  fi
32:
else
33:
  echo "Usage:"
34:
  echo "    ./server start|stop|info"
35:
  echo "Options:"
36:
  echo "    start|stop|info          Do operation start, stop, or get information."
37:
fi