blob: 38708748b271b37aba2ec5a3981aab13a7f35381 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/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
|