diff options
Diffstat (limited to 'control/deploy-control-node')
-rwxr-xr-x | control/deploy-control-node | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/control/deploy-control-node b/control/deploy-control-node index 1472cf7..7b3070a 100755 --- a/control/deploy-control-node +++ b/control/deploy-control-node @@ -21,6 +21,16 @@ function header() { } header "Deploying linaro-android-mirror" +running_repos=`ps ax|grep bin/repo|grep -v grep` +if [ -n "$running_repos" ]; then + echo "There appear to be mirror operations in progress currently:" + echo $running_repos + echo + echo "Press Ctrl+C and ensure all outstanding operations are completed" + echo "Press Enter to continue anyway" + read dummy +fi + sudo kill `cat /home/git-mirror/service.pid` sleep 2 bzr branch lp:linaro-android-mirror linaro-android-mirror.new |