diff options
Diffstat (limited to 'packages/cern-scripts/src/main/resources/bin/restart-gwt.sh')
| -rwxr-xr-x | packages/cern-scripts/src/main/resources/bin/restart-gwt.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/packages/cern-scripts/src/main/resources/bin/restart-gwt.sh b/packages/cern-scripts/src/main/resources/bin/restart-gwt.sh deleted file mode 100755 index 3870874..0000000 --- a/packages/cern-scripts/src/main/resources/bin/restart-gwt.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/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 |