#! /bin/sh

DIR=`dirname $0`

# Write the PID.
$DIR/js_getpid > js_pid

# Run executable
rm -f js_done
date > js_started
$1 > js_stdout.log 2>&1
date > js_done