diff options
| author |   Dan Radez <dradez@redhat.com> | 2015-05-26 17:18:09 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2015-05-26 17:18:09 +0000 |
| commit | 7b483cb5ddc4445d5a31886c08694a61bce50636 (patch) | |
| tree | 1d3bb545c78c706f1996aead06e5de860931a4ad /foreman/ci/clean.sh | |
| parent | 5adeaca389c6f38646863e370c80ab292a2188d3 (diff) | |
| parent | fd12cafe7998db5430ff3219abd235832a453286 (diff) | |
Merge "Really kill VBoxHeadless process"
Diffstat (limited to 'foreman/ci/clean.sh')
| -rwxr-xr-x | foreman/ci/clean.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/foreman/ci/clean.sh b/foreman/ci/clean.sh index 25352a8..3f3c879 100755 --- a/foreman/ci/clean.sh +++ b/foreman/ci/clean.sh @@ -124,7 +124,7 @@ if [ $skip_vagrant -eq 0 ]; then ###kill virtualbox echo "${blue}Killing VirtualBox ${reset}" killall virtualbox - killall VboxHeadless + killall VBoxHeadless ###remove virtualbox echo "${blue}Removing VirtualBox ${reset}" |