Merge branch 'stable-3.12'

* stable-3.12:
  Properly cleanup site3

Change-Id: Ie2b1634a1978153092c6f564ef868e08455f3577

setup_local_env/setup.sh

diff --git a/setup_local_env/setup.sh b/setup_local_env/setup.sh
index 3005275..2fd8f42 100755
--- a/setup_local_env/setup.sh
+++ b/setup_local_env/setup.sh
@@ -225,9 +225,10 @@
   echo "Stopping GERRIT instances"
   $1/bin/gerrit.sh stop 2> /dev/null
   $2/bin/gerrit.sh stop 2> /dev/null
+  $3/bin/gerrit.sh stop 2> /dev/null
 
-  echo "REMOVING setup directory $3"
-  rm -rf $3 2> /dev/null
+  echo "REMOVING setup directory $4"
+  rm -rf $4 2> /dev/null
 }
 
 function check_if_container_is_running {