cleanup
This commit is contained in:
parent
3d93d01cd1
commit
7665d702a2
22 changed files with 97 additions and 132 deletions
|
|
@ -3,7 +3,7 @@
|
|||
set -euo pipefail
|
||||
|
||||
AGENTDIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
||||
AGENT="${AGENTDIR}/ogp_agent.pl"
|
||||
AGENT="${AGENTDIR}/gsp_agent.pl"
|
||||
PID_FILE=""
|
||||
TIMEOUT=10
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue