#
# Copyright (C) 2007-2013 Oracle Corporation
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# General Public License (GPL) as published by the Free Software
# Foundation, in version 2 as it comes in the "COPYING" file of the
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#
set -e
# Setup environment.
{
ITEM_ID=$1
ITEM_PATH=$2
FORCED_USER=$3
loaded="NO"
echo "Unloading previously installed service: $ITEM_ID"
fi
}
{
ITEM_ID=$1
ITEM_PATH=$2
FORCED_USER=$3
echo "Loading newly installed service: $ITEM_ID"
}
unload_service "org.virtualbox.additions.vboxclient" "/Library/LaunchAgents" "${USER}"
items="VBoxGuest"
loaded="NO"
if [ "$loaded" = "YES" ] ; then
echo "Unloading $item kernel extension..."
fi
done
echo "Loading newly installed kernel extensions."
load_service "org.virtualbox.additions.vboxclient" "/Library/LaunchAgents" "${USER}"
echo "Done."
exit 0;