#!/bin/sh set -x pid=`jps | grep DevMode | cut -f 1 -d ' '` if [ -z "$pid" ]; then echo "no running gwt-client found" >&2 exit 1 fi cwd=`readlink "/proc/${pid}/cwd"` cmd=`cat "/proc/${pid}/cmdline" | tr '\0' ' '` cd "$cwd" kill -9 "$pid" sleep 1 $cmd >/dev/null 2>&1 & disown -ar