mirror of
https://github.com/dokku/dokku.git
synced 2025-12-29 00:25:08 +01:00
86795ddacc
While I do not agree with _every_ style change, this will force Dokku to have consistent formatting across all shell scripts, which is arguably a Good Thing™. The command used to reprocess everything is: ```shell shfmt -l -bn -ci -i 2 -w . ```
17 lines
400 B
Bash
Executable File
17 lines
400 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -eo pipefail
|
|
[[ $DOKKU_TRACE ]] && set -x
|
|
source "$PLUGIN_CORE_AVAILABLE_PATH/common/functions"
|
|
source "$PLUGIN_AVAILABLE_PATH/config/functions"
|
|
source "$PLUGIN_AVAILABLE_PATH/ps/functions"
|
|
|
|
ps_post_stop() {
|
|
declare desc="ps post-stop plugin trigger"
|
|
local trigger="ps_post_stop"
|
|
local APP="$1"
|
|
|
|
config_set --no-restart "$APP" DOKKU_APP_RESTORE=0
|
|
}
|
|
|
|
ps_post_stop "$@"
|