Fix styling
This commit is contained in:
parent
f4d64e121c
commit
f22d7741a3
1 changed files with 3 additions and 2 deletions
|
|
@ -2029,9 +2029,10 @@ private function build_image()
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @param integer $timeout in seconds
|
* @param int $timeout in seconds
|
||||||
*/
|
*/
|
||||||
private function graceful_shutdown_container(string $containerName, int $timeout = 300) {
|
private function graceful_shutdown_container(string $containerName, int $timeout = 300)
|
||||||
|
{
|
||||||
try {
|
try {
|
||||||
return $this->execute_remote_command(
|
return $this->execute_remote_command(
|
||||||
["docker stop --time=$timeout $containerName > /dev/null 2>&1", 'hidden' => true],
|
["docker stop --time=$timeout $containerName > /dev/null 2>&1", 'hidden' => true],
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue