summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHui Lan <lanhui@zjnu.edu.cn>2021-02-02 22:03:36 +0800
committerHui Lan <lanhui@zjnu.edu.cn>2021-02-02 22:03:36 +0800
commit98880815db70bc16c4fa155f2ff9e70ff6a3b3c3 (patch)
tree58ed1716c0df26b18ceea3b8713be1ae336b6b51
parent941930f64b9e05709363686b98f227668e2c8390 (diff)
Jenkinsfile: changed.
-rw-r--r--Jenkinsfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 63f952b..df681a8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,6 +5,7 @@ pipeline {
stage('BuildIt') {
steps {
echo 'Building..'
+ sh 'sudo docker stop englishpal'
sh 'sudo docker build -t englishpal .'
sh 'sudo docker run -d -p 91:80 -v /var/lib/jenkins/workspace/EnglishPal_Pipeline_master/app/static/frequency:/app/static/frequency -t englishpal'
sh 'sudo docker system prune -a -f'