#!/bin/bash

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