diff options
Diffstat (limited to 'retiolum/bin')
| -rwxr-xr-x | retiolum/bin/pgrep-retiolum-tincd-args | 2 | ||||
| -rwxr-xr-x | retiolum/bin/restart-tincd | 14 | 
2 files changed, 0 insertions, 16 deletions
diff --git a/retiolum/bin/pgrep-retiolum-tincd-args b/retiolum/bin/pgrep-retiolum-tincd-args deleted file mode 100755 index 19c05fbe..00000000 --- a/retiolum/bin/pgrep-retiolum-tincd-args +++ /dev/null @@ -1,2 +0,0 @@ -#! /bin/sh -ps -e -o args | grep -E '(^|[ /])tincd +([^ ].* )?(-n +|--net=)retiolum' diff --git a/retiolum/bin/restart-tincd b/retiolum/bin/restart-tincd deleted file mode 100755 index 17d939d9..00000000 --- a/retiolum/bin/restart-tincd +++ /dev/null @@ -1,14 +0,0 @@ -#! /bin/sh -set -xeuf - -PATH="$(dirname $(readlink -f "$0"))${PATH+:$PATH}" - -if args="`pgrep-retiolum-tincd-args`"; then -  while $args --kill; do -    sleep 1 -  done -  $args -else -  echo "$0: there is no retiolum tincd process to restart" >&2 -  exit 23 -fi  | 
