diff options
| author | Yves Fischer <yvesf@cern.ch> | 2016-02-01 09:09:31 +0100 |
|---|---|---|
| committer | Yves Fischer <yvesf@cern.ch> | 2016-02-01 09:09:43 +0100 |
| commit | 3cbe8700c8c6cb1ac41b506681234f995ca979ba (patch) | |
| tree | 01b6f4e232e23ff9cf5379137a472796784d1abe /packages/cern-scripts/src/main/resources/bin/restart-gwt.sh | |
| parent | 4de2d5afc7dfdb0409d2ac9359bbe5bac58e2edc (diff) | |
| download | debian-packages-3cbe8700c8c6cb1ac41b506681234f995ca979ba.tar.gz debian-packages-3cbe8700c8c6cb1ac41b506681234f995ca979ba.zip | |
cern-scripts: restructure source directory
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 |