mirror of
https://github.com/dokku/dokku.git
synced 2026-09-01 19:49:25 +02:00
0c08aefc54
The DOKKU_PID now never gets overwritten except in the case that DOKKU is executed by the sudo user. If the command ends up executing a deploy, then the pid of the `dokku` owned process - which may have been executed via sudo - will be written to the file lock, allowing future commands to interact with the original process. Additionally, the new builds plugin can be used to handle killing a build.
17 lines
327 B
Bash
Executable File
17 lines
327 B
Bash
Executable File
#!/usr/bin/env bash
|
|
[[ " help builds:help " == *" $1 "* ]] || exit "$DOKKU_NOT_IMPLEMENTED_EXIT"
|
|
source "$PLUGIN_AVAILABLE_PATH/builds/internal-functions"
|
|
set -eo pipefail
|
|
[[ $DOKKU_TRACE ]] && set -x
|
|
|
|
case "$1" in
|
|
help | builds:help)
|
|
cmd-builds-help "$@"
|
|
;;
|
|
|
|
*)
|
|
exit "$DOKKU_NOT_IMPLEMENTED_EXIT"
|
|
;;
|
|
|
|
esac
|