+ public void migrate(Host destination) throws HostFailureException{
+ try {
+ this.internalmig(destination);
+ } catch (Exception e){
+ Msg.info("an exception occurs during the migration of VM "+this.getName());
+ throw new HostFailureException();
+ }
+ // If the migration correcly returned, then we should change the currentHost value.