equal
deleted
inserted
replaced
1 #!/usr/bin/env sh |
1 #!/usr/bin/env sh |
2 PATH=/opt/remi/php56/root/usr/bin/:$PATH |
2 PATH=/opt/remi/php56/root/usr/bin/:$PATH |
3 |
3 |
4 if [ -d /var/www/corpusdelaparole/corpus-back/ ]; then |
4 if [ -f /var/www/corpusdelaparole/corpus-back/artisan ]; then |
5 pushd /var/www/corpusdelaparole/corpus-back/ > /dev/null |
5 pushd /var/www/corpusdelaparole/corpus-back/ > /dev/null |
6 |
6 |
7 echo "Put back application in maintenance" |
7 echo "Put back application in maintenance" |
8 php artisan down |
8 php artisan down |
9 |
9 |