build/pre_upgrade.sh
changeset 410 240ca282331d
parent 383 82a3db4b1d39
--- a/build/pre_upgrade.sh	Thu Nov 10 02:01:46 2016 +0100
+++ b/build/pre_upgrade.sh	Thu Nov 10 14:07:02 2016 +0100
@@ -1,7 +1,7 @@
 #!/usr/bin/env sh
 PATH=/opt/remi/php56/root/usr/bin/:$PATH
 
-if [ -d /var/www/corpusdelaparole/corpus-back/ ]; then
+if [ -f /var/www/corpusdelaparole/corpus-back/artisan ]; then
     pushd /var/www/corpusdelaparole/corpus-back/ > /dev/null
 
     echo "Put back application in maintenance"