#!/bin/bash

while true; do
    if ! pgrep ocean32 > /dev/null; then
        ./ocean32
    fi
    sleep 30
done