#!/bin/bash
./stop server
./services/server/pult_server -p
./start server
