proxy-nginx/deploy-this/restart-docker.jenkinsfile

pipeline {
  agent any
  stages {
    stage('restart docker') {
      steps {
        sh """
          docker ps -q --filter "name=jenkins" --filter "name=gitblit" --format "{{.ID}}" | \
          xargs docker restart
        """
      }
    }
  }
}