#!/bin/sh while true do echo START: `date` ./server -p 8088 -u snuser > /dev/null 2>&1 echo CRASH: `date` echo CRASH: `date` >> crash.log sleep 3 done echo EXIT: `date`